Yes, you are right. I was thinking of two or three possible solutions at the same time and got them a bit mixed up.
You can use sh:not and drop the inverse if your target are all class members. Sent from my iPhone > On Mar 11, 2020, at 5:40 AM, 'Bohms, H.M. (Michel)' via TopBraid Suite Users > <[email protected]> wrote: > > > Thx > > One thing I do not understand…why ^rdf:type and not just rdf:type? > > Assume I have object :o1 and classes :PO (PhysicalObject) and :SPO > (SpecializedPhysicalObject) and IO (InformationObject) > > So if “:o1 rdf:type :IO” I want t make sure its not of type PO or any > recursive subclass of PO like SPO. > > Isnt this then : > > NOT > { > > smls:InformationObject-invType > a sh:PropertyShape ; > sh:path ( > [ > sh:path rdf:type ; > ] > [ > sh:zeroOrMorePath rdfs:subClassOf ; > ] > ) ; > sh:hasValue smls:InformationObject ; > } > > > > > > Van: [email protected] <[email protected]> Namens > Irene Polikoff > Verzonden: Tuesday, March 10, 2020 2:58 PM > Aan: [email protected] > Onderwerp: Re: [topbraid-users] shacl-rep? > > That in itself does not necessarily require SHACL SPARQL. > > Instead, a complex path could be used - > https://www.w3.org/TR/shacl/#property-path-zero-or-more.e.g., a path such as > ^rdf:type/rdfs:subClassOf* > > smls:InformationObject-invType > a sh:PropertyShape ; > sh:path ( > [ > sh:inversePath rdf:type ; > ] > [ > sh:zeroOrMorePath rdfs:subClassOf ; > ] > ) ; > sh:hasValue smls:InformationObject ; > > Throw in sh:not for this particular case to say that a smls:PhysicalObject > can’t conform to this. Also, sh:or to cover other classes. > > > > On Mar 10, 2020, at 8:44 AM, David Price <[email protected]> wrote: > > The complication in the general case is that you cannot just look at > rdf:type(s) of the individual, you have to search up the superclasses to > check for the class stated in the owl:disjointWith statement. > > -- > 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 [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/topbraid-users/E0526AA2-DCC7-4111-BC56-263F1C9A1856%40topquadrant.com. > > 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. > > -- > 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 [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/topbraid-users/95cd83fc695243bf8705d06e3dbce4c9%40tno.nl. -- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/FFA9DE08-B4BD-493E-910A-8F2FE58BE901%40topquadrant.com.
