> On 14 Jun 2022, at 10:25 pm, 'Bohms, H.M. (Michel)' via TopBraid Suite Users > <topbraid-users@googlegroups.com> wrote: > > I am doing something wrong?
This depends on what you expect. I see 4 constraint violations, and they are because Wheel and Door are not declared as rdfs:subClassOf RealObject. You state that you don’t get any violations, so which process/tool are you using? Holger > > Why no shac validation error (2x: two wheels and an inappropr. door) on data > for: > > (I would at least expect 1 error for the maxCount; maybe not for Door since > independent needing second property shape maxcard=0 for door?)) > > @prefix rdfs: http://www.w3.org/2000/01/rdf-schema# > <http://www.w3.org/2000/01/rdf-schema#> . > @prefix sh: http://www.w3.org/ns/shacl# <http://www.w3.org/ns/shacl#> . > @prefix rdf: http://www.w3.org/1999/02/22-rdf-syntax-ns# > <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . > @prefix ex: http://example.org/def/ <http://example.org/def/> . > @prefix owl: http://www.w3.org/2002/07/owl# <http://www.w3.org/2002/07/owl#> . > > ex: a owl:Ontology . > > ex:hasPart > a owl:ObjectProperty . > > ex:RealObject > a sh:NodeShape, owl:Class ; > sh:property [ > sh:path ex:hasPart ; > sh:class ex:RealObject > ] ; . > > ex:Car > a sh:NodeShape, owl:Class ; > rdfs:subClassOf ex:RealObject ; > sh:property [sh:path ex:hasPart ; > sh:qualifiedMinCount 1 ; > sh:qualifiedMaxCount 1 ; > sh:qualifiedValueShape [ sh:class ex:Wheel ] ; > ] ; . > > ex:Wheel > a sh:NodeShape, owl:Class . > > ex:Door > a sh:NodeShape, owl:Class . > > ex:hasPart > a owl:ObjectProperty . > > ex:Car_1 rdf:type ex:Car ; > ex:hasPart ex:Wheel_1 ; > ex:hasPart ex:Wheel_2 ; > ex:hasPart ex:Door_1 . > > ex:Wheel_1 rdf:type ex:Wheel . > ex:Wheel_2 rdf:type ex:Wheel . > ex:Door_1 rdf:type ex:Door . > > > > Michel Böhms > Data Scientist > Unit Buildings, Infrastructure & Maritime > > Mobile +31 630381220 > E-mail michel.bo...@tno.nl <mailto:michel.bo...@tno.nl> > Location <https://nextdelft.com/> > > > <image001.gif> <http://www.tno.nl/> > This message may contain information that is not intended for you. If you are > not the addressee or if this message was sent to you by mistake, you are > requested to inform the sender and delete the message. TNO accepts no > liability for the content of this e-mail, for the manner in which you use it > and for damage of any kind resulting from the risks inherent to the > electronic transmission of messages. > > <image002.png> > > > > -- > 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-users+unsubscr...@googlegroups.com > <mailto:topbraid-users+unsubscr...@googlegroups.com>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/topbraid-users/5642ddb307dc46b0ac4c08bc37d81a33%40tno.nl > > <https://groups.google.com/d/msgid/topbraid-users/5642ddb307dc46b0ac4c08bc37d81a33%40tno.nl?utm_medium=email&utm_source=footer>. -- 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-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/0B1C19E8-EB66-48CA-9A29-410D74887526%40topquadrant.com.
