You need to do a separate shape disjointness. Check out the way it is addressed in the file I referenced.
I assume that by X you mean some resource that is a member of the class defined in the union. sh:in does both, 2 and 3. If any X must be in either A, B or C, then there is no D such that X could belong to it and pass validation while not belonging to either A, B or C. Sent from my iPhone > On Jun 27, 2019, at 5:21 AM, 'Bohms, H.M. (Michel)' via TopBraid Suite Users > <[email protected]> wrote: > > I interpret the disjointUnion as: > Say X = A B C > > A B and C are mutually disjunct > X is in A or B or C > There is no D > > In that case sh:in seems only address the second bullit? > > > > > > > Dr. ir. H.M. (Michel) Böhms > Senior Data Scientist > > T +31888663107 > M +31630381220 > E [email protected] > Location > > > <image001.gif> > 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. > > > > > From: [email protected] <[email protected]> On > Behalf Of dprice > Sent: woensdag 26 juni 2019 12:54 > To: [email protected] > Subject: Re: [topbraid-users] Shacl for disj.unions? > > > > > On 26 Jun 2019, at 08:40, 'Bohms, H.M. (Michel)' via TopBraid Suite Users > <[email protected]> wrote: > > > Ok, thx Holger. > > Any tips of best manual translation would be great. > > The owl would be: > > <owl:Class rdf:ID="Document"> > <rdfs:label xml:lang="en-GB">Document</rdfs:label> > <rdfs:comment xml:lang="en-GB">abstract class for references to a > document; an individual shall at least be member of ct:ExternalDocument or > ct:InternalDocument; and optionally, individuals can be a member of other > subtypes of ct:Document such as ct:SecuredDocument and/or > ct:EncryptedDocument</rdfs:comment> > <owl:disjointUnionOf rdf:parseType="Collection"> > <owl:Class rdf:ID="ExternalDocument"/> > <owl:Class rdf:ID="InternalDocument"/> > </owl:disjointUnionOf> > </owl:Class> > > Guess some sh:node sh:or sh:node shape patern but how to indicate > completeness? > > sh:in on rdf:type should do the trick I would think. > > https://www.w3.org/TR/shacl/#InConstraintComponent > > Cheers, > David > > > > Thx ! > > > > > > Dr. ir. H.M. (Michel) Böhms > Senior Data Scientist > > > T +31888663107 > M +31630381220 > E [email protected] > Location > > > <image001.gif> > 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. > > > > > From: [email protected] <[email protected]> On > Behalf Of Holger Knublauch > Sent: woensdag 26 juni 2019 00:45 > To: [email protected] > Subject: Re: [topbraid-users] Shacl for disj.unions? > > The current answer is no, owl:disjointUnionOf is not supported. I haven't > seen enough use cases of it. The more traditional owl:disjointWith is > supported by the converter. > Holger > > On 26/06/2019 07:04, 'Bohms, H.M. (Michel)' via TopBraid Suite Users wrote: > Thx > I will check! > > Verzonden van mijn Android-telefoon via TouchDown (www.symantec.com) > > -----Original Message----- > From: Irene Polikoff [[email protected]] > Received: dinsdag, 25 jun. 2019, 22:00 > To: [email protected] [[email protected]] > Subject: Re: [topbraid-users] Shacl for disj.unions? > > Possibly, which is why I said that the most up to date documentation of what > is being converted is in the file itself. > > It has wl2shacl:owlDisjointWith2NotClass > > Michel could check its logic to see if it does what he needs. > > > > On Jun 25, 2019, at 3:47 PM, David Price <[email protected]> wrote: > > I think Holger did do something for disjoint class assertions or maybe it was > only for a specific customer? I know he and I worked on it together at some > point. > > Cheers, > David > > On 25 Jun 2019, at 18:36, Irene Polikoff <[email protected]> wrote: > > No, I do not believe so. > > See this > http://wiki.topquadrant.com/display/master/Ontology+Utilities#OntologyUtilities-ConvertOWLAxiomstoSHACLConstraints > for links to the relevant information: blog covers most of it, but there may > have been some changes since it was written and the file in your workspace > contains the actual rules - it gives you the info that is most up to > date/corresponding to your version. > > On Jun 25, 2019, at 1:29 PM, 'Bohms, H.M. (Michel)' via TopBraid Suite Users > <[email protected]> wrote: > > > > Verzonden van mijn Android-telefoon via TouchDown (www.symantec.com) > > -----Original Message----- > Received: dinsdag, 25 jun. 2019, 19:28 > > Wil tbc generate shacl for owl disjointunions ? > Thx michel > > Verzonden van mijn Android-telefoon via TouchDown (www.symantec.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/87b09d3290c94632aaf58da42cc68207%40tno.nl. > For more options, visit https://groups.google.com/d/optout. > > > -- > 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/D885F2ED-77CB-40EA-B9B6-3D53333CF819%40topquadrant.com. > For more options, visit https://groups.google.com/d/optout. > > -- > 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/E5B9D99C-F244-4CB7-BDAA-BBDA8490C79C%40topquadrant.com. > For more options, visit https://groups.google.com/d/optout. > > -- > 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/5187FF5B-7494-482C-85FA-849F2318FC2E%40topquadrant.com. > For more options, visit https://groups.google.com/d/optout. > -- > 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/9d6f0e070f9f4ed2bf4dd5f338f65928%40tno.nl. > For more options, visit https://groups.google.com/d/optout. > -- > 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/1f07d026-ea39-fe4e-b831-64fd21f37625%40topquadrant.com. > For more options, visit https://groups.google.com/d/optout. > > -- > 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/54259f353f6d4da98290740ed0ac02c3%40tno.nl. > For more options, visit https://groups.google.com/d/optout. > > UK +44 (0) 7788 561308 > US +1 (336) 283-0808 > > -- > 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/67379E62-10E0-4D48-BD1A-6F7718D06128%40topquadrant.com. > For more options, visit https://groups.google.com/d/optout. > -- > 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/c8193fc8a44a43e2b930179c01222548%40tno.nl. > For more options, visit https://groups.google.com/d/optout. -- 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/B4CAE487-8261-4F33-9B56-7B66D7659599%40topquadrant.com. For more options, visit https://groups.google.com/d/optout.
