- From: Holger Knublauch <holger@topquadrant.com>
- Date: Tue, 5 Jul 2016 19:02:53 +1000
- To: public-data-shapes-wg@w3.org
This was a case of double-negation, and being an editorial issue I have
closed the ticket.
Updated definition at
http://w3c.github.io/data-shapes/shacl/#ClassInConstraintComponent
Holger
On 29/06/2016 22:35, RDF Data Shapes Working Group Issue Tracker wrote:
> shapes-ISSUE-171 (negated sh:classIn): sh:classIn SPARQL definition incorrect [SHACL Spec]
>
> http://www.w3.org/2014/data-shapes/track/issues/171
>
> Raised by: Peter Patel-Schneider
> On product: SHACL Spec
>
> The SPARQL definition of sh:classIn below is incorrrect, as it returns value nodes for which none of the classes are not a SHACL type for it instead of none of the classes are a SHACL type for it.
>
>
>
> SELECT $this ($this AS ?subject) $predicate (?value AS ?object)
> WHERE {
> $this $predicate ?value .
> FILTER NOT EXISTS {
> GRAPH $shapesGraph {
> $classIn (rdf:rest*)/rdf:first ?class .
> }
> FILTER NOT EXISTS { ?value rdf:type/rdfs:subClassOf* ?class }
> }
> }
>
>
>
Received on Tuesday, 5 July 2016 09:03:25 UTC