Hi Tim,
your example has sh:qualifiedValueShapesDisjoint true on all three
cases, but they are NOT disjoint. All that the three helper shapes
verify is that the values of rdfs:label are strings. Nothing else. The
constraint applies to all instances.
Did you probably expect that sh:node would
Hi Boris,
I cannot think of a solution in SHACL Core, but SHACL-SPARQL is one
option to implement this.
Holger
On 2021-07-07 2:26 am, Boris Pelakh wrote:
I am writing some basic shapes to validate that an ontology is
well-formed, and one of checks I would like to add is that
subPropertyOf
Hi Holger,
I had not tried sh:qualifiedValueShape. After adding three sh:property
statements for the st:owns property, it worked mostly as expected. I added
a fourth property shape to ensure that st:owns has only instances of the
three classes as the object. Otherwise, once the three
qualifiedV
I am writing some basic shapes to validate that an ontology is well-formed,
and one of checks I would like to add is that subPropertyOf and inverseOf
only target the same type of property. For example:
gshapes:InversePropertyShape
a sh:NodeShape ;
sh:targetSubjectsOf owl:inverseOf ;
sh:property