Re: [topbraid-users] SHACL Question

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

Re: [topbraid-users] Selective sh:equals?

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

Re: [topbraid-users] SHACL Question

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

[topbraid-users] Selective sh:equals?

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