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]<mailto:[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>



[cid:[email protected]]<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.









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]<mailto:[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]<mailto:[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>



<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.









From: [email protected]<mailto:[email protected]> 
<[email protected]<mailto:[email protected]>> On 
Behalf Of Holger Knublauch
Sent: woensdag 26 juni 2019 00:45
To: [email protected]<mailto:[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<http://www.symantec.com/>)

-----Original Message-----
From: Irene Polikoff [[email protected]<mailto:[email protected]>]
Received: dinsdag, 25 jun. 2019, 22:00
To: [email protected]<mailto:[email protected]> 
[[email protected]<mailto:[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]<mailto:[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]<mailto:[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]<mailto:[email protected]>> wrote:



Verzonden van mijn Android-telefoon via TouchDown 
(www.symantec.com<http://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<http://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]<mailto:[email protected]>.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/topbraid-users/87b09d3290c94632aaf58da42cc68207%40tno.nl<https://groups.google.com/d/msgid/topbraid-users/87b09d3290c94632aaf58da42cc68207%40tno.nl?utm_medium=email&utm_source=footer>.
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]<mailto:[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<https://groups.google.com/d/msgid/topbraid-users/D885F2ED-77CB-40EA-B9B6-3D53333CF819%40topquadrant.com?utm_medium=email&utm_source=footer>.
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]<mailto:[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<https://groups.google.com/d/msgid/topbraid-users/E5B9D99C-F244-4CB7-BDAA-BBDA8490C79C%40topquadrant.com?utm_medium=email&utm_source=footer>.
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]<mailto:[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<https://groups.google.com/d/msgid/topbraid-users/5187FF5B-7494-482C-85FA-849F2318FC2E%40topquadrant.com?utm_medium=email&utm_source=footer>.
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]<mailto:[email protected]>.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/topbraid-users/9d6f0e070f9f4ed2bf4dd5f338f65928%40tno.nl<https://groups.google.com/d/msgid/topbraid-users/9d6f0e070f9f4ed2bf4dd5f338f65928%40tno.nl?utm_medium=email&utm_source=footer>.
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]<mailto:[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<https://groups.google.com/d/msgid/topbraid-users/1f07d026-ea39-fe4e-b831-64fd21f37625%40topquadrant.com?utm_medium=email&utm_source=footer>.
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]<mailto:[email protected]>.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/topbraid-users/54259f353f6d4da98290740ed0ac02c3%40tno.nl<https://groups.google.com/d/msgid/topbraid-users/54259f353f6d4da98290740ed0ac02c3%40tno.nl?utm_medium=email&utm_source=footer>.
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]<mailto:[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<https://groups.google.com/d/msgid/topbraid-users/67379E62-10E0-4D48-BD1A-6F7718D06128%40topquadrant.com?utm_medium=email&utm_source=footer>.
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.

Reply via email to