W3C home > Mailing lists > Public > public-data-shapes-wg@w3.org > June 2015

shapes-ISSUE-66 (ill-founded): SHACL should not be ill-founded [SHACL Spec]

From: RDF Data Shapes Working Group Issue Tracker <sysbot+tracker@w3.org>
Date: Wed, 10 Jun 2015 13:57:26 +0000
To: public-data-shapes-wg@w3.org
Message-Id: <E1Z2gVS-0005IV-Mh@deneb.w3.org>
shapes-ISSUE-66 (ill-founded): SHACL should  not be ill-founded [SHACL Spec]


Raised by: Peter Patel-Schneider
On product: SHACL Spec

The current SHACL working draft is ill-founded, in that there are shapes and graphs where the determining the shape violations cannot be correctly done.

One example is the graph

ex:i rdf:type ex:C .
ex:i ex:p ex:i .

and the shape

exs:S rdf:type sh:Shape;
  sh:classScope ex:C ; 
  sh:property [ sh:predicate ex:p ;
                sh:minCount 1 ; sh:maxCount 1 ;
                sh:valueShape exs:S ] .

where there is no way to determine whether ex:i has a shape violation.
Received on Wednesday, 10 June 2015 13:57:27 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:30:24 UTC