shapes-ISSUE-171 (negated sh:classIn): sh:classIn SPARQL definition incorrect [SHACL Spec]

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 Wednesday, 29 June 2016 12:35:52 UTC