example for disjoint qualified value shapes

• From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
• Date: Wed, 15 Mar 2017 08:07:57 -0700
• To: "public-rdf-shapes@w3.org" <public-rdf-shapes@w3.org>
• Message-ID: <6c0d24b8-46e9-2258-7e5f-37d59a70de79@gmail.com>

The example shapes graph using of sh:qualifiedValueShapesDisjoint does not
correspond to its textual description.  The following data graph conforms to
the shapes graph but does not match the textual description because it
contains a hand that has seven digits and where its fingers and thumbs are
not disjoint.  A correct example is needed to justify the inclusion of
sh:qualifiedValueShapesDisjoint in SHACL.

ex:SixFingerHand rdf:type ex:Hand ;
 sh:digit [ rdf:type ex:Thumb ] ;
 sh:digit [ rdf:type ex:Finger ] ;
 sh:digit [ rdf:type ex:Finger ] ;
 sh:digit [ rdf:type ex:Finger ] ;
 sh:digit [ rdf:type ex:Finger ] ;
 sh:digit [ rdf:type ex:Finger, ex:Thumb ] ;
 sh:digit [ ] .

Peter F. Patel-Schneider
Nuance Communications

Received on Wednesday, 15 March 2017 15:08:31 UTC