I think I investigated this a while back and if you really need disjointedness checked, then the best answer was to generate an sh:SPARQLConstraint from each owl:disjointWith statement and have that report a violation. I never finished the task, but that was the recommendation at the time. 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.
Cheers, David On Tue, Mar 10, 2020 at 8:44 AM 'Bohms, H.M. (Michel)' via TopBraid Suite Users <[email protected]> wrote: > Hi Holger > > > > Would this become a global PropertyShape then? > > > > For the smls upper ontology itself it holds but in general not for the > userdefined ontologies importing smls. > > (which will have subclasses for say PhysicalObject that are non-disjunst). > > > > Thx Michel > > > > > > > > Dr. ir. H.M. (Michel) Böhms > Senior Data Scientist > > T +31888663107 > M +31630381220 > E [email protected] > > Location > <https://www.google.com/maps/place/TNO+-+Locatie+Delft+-+Stieltjesweg/@52.000788,4.3745183,17z/data=!3m1!4b1!4m5!3m4!1s0x47c5b58c52869997:0x56681566be3b8c88!8m2!3d52.000788!4d4.376707> > > > > <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. > > > > > > > > > > *Van:* [email protected] <[email protected]> > *Namens > *Holger Knublauch > *Verzonden:* Monday, March 9, 2020 11:36 PM > *Aan:* [email protected] > *Onderwerp:* Re: [topbraid-users] shacl-rep? > > > > Can any of them have multiple types at all? If not, just set sh:maxCount 1 > at rdf:type. > > As Irene indicated the scenario wasn't deemed important enough by the > SHACL WG to include a built-in constraint type into the core language. > However, it would be possible to define a custom constraint component in > SHACL-SPARQL. > > Holger > > > > On 10/03/2020 04:55, 'Bohms, H.M. (Michel)' via TopBraid Suite Users wrote: > > Is there a shacl counterpart for: > > [ > > a owl:AllDisjointClasses ; > > owl:members ( > > smls:PhysicalObject > > smls:InformationObject > > smls:State > > smls:Event > > smls:TemporalRegion > > smls:SpatialRegion > > smls:Activity > > ) ; > > ]. > > > > Thx Michel > > > > > > > > > > > > Dr. ir. H.M. (Michel) Böhms > Senior Data Scientist > > > T +31888663107 > M +31630381220 > E [email protected] > > Location > <https://www.google.com/maps/place/TNO+-+Locatie+Delft+-+Stieltjesweg/@52.000788,4.3745183,17z/data=!3m1!4b1!4m5!3m4!1s0x47c5b58c52869997:0x56681566be3b8c88!8m2!3d52.000788!4d4.376707> > > > > <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. > > > > > > > > > > -- > 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/32830e3367084dfbabe6fc80390c3962%40tno.nl > <https://groups.google.com/d/msgid/topbraid-users/32830e3367084dfbabe6fc80390c3962%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 [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/topbraid-users/05a8285a-0491-0057-63e9-42fd4c1f245b%40topquadrant.com > <https://groups.google.com/d/msgid/topbraid-users/05a8285a-0491-0057-63e9-42fd4c1f245b%40topquadrant.com?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 [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/topbraid-users/70f21a2c16a847a88361cf890bacc73e%40tno.nl > <https://groups.google.com/d/msgid/topbraid-users/70f21a2c16a847a88361cf890bacc73e%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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/CAOQ%3D4f55NDk71jnfiQP0VReLffbxHWBwXWFcCYCdu%3DQJtWdBGw%40mail.gmail.com.
