Generating a closed shapes asset collection

[Adam Kimball]

Hi all,

Goal:  Given a ontology asset collection X, I'd like to have an ontology asset collection Y which imports X and infers closed statements for every NodeShape in X.  If I add a new shape in X, I'd like the corresponding closed version of it to be inferred in the Y collection.

Background

I've got a number of shapes graphs defined.  The most general set of shapes is the ontology itself;  it describes how things may connect.  The next set of shapes, based on the prior ones, further describes how resources shall connect based upon some context.  In this set, there are often hard min and max counts, etc.  Finally, I have a set of shapes that are based on the immediately prior ones and now they are closed.   Because I am typing my owl:Classes with a sh:NodeShape, each shape definition is building on each other.  The last collection, the closed shapes, simply assert a sh:closed true for every node shape in question, nothing else.  Each tier of these shapes, so to speak, exists in their own ontology asset collection.

I'd like to automate the construction of the closed shapes graph.  It is simple describe the closed shapes with a SPARQL construct query or similar.  I'm also certain that there are probably many ways to accomplish this in EDG.  The question is, what is preferred?  

TIA,

Adam

[Holger Knublauch]

Hi Adam,

asserting triples in response to changes in another asset collection should be possible using dash:CommitScripts.

https://archive.topquadrant.com/doc/latest/ext/points.html#change-and-commit-scripts

The base Ontology would need to define that script or owl:import a file with that script. The script would add or delete

the sh:closed triples for each sh:NodeShape that got added or deleted.

It would NOT work to use sh:rule or sh:values as triples from the shapes graph that shall impact validation cannot be inferred dynamically.

Holger

--
The topics of this mailing list include TopBraid EDG and related technologies such as SHACL.
To post to this group, send email to topbrai...@googlegroups.com
---
You received this message because you are subscribed to the Google Groups "TopBraid Suite Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to topbraid-user...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/74df1196-067b-448e-8790-02f85e59f763n%40googlegroups.com.