ISSUE-171: sh:classIn SPARQL definition incorrect

negated sh:classIn

sh:classIn SPARQL definition incorrect

State:

CLOSED

Product:

SHACL Spec

Raised by:

Peter Patel-Schneider

Opened on:

2016-06-29

Description:

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

Related Actions Items:

No related actions

Related emails:

1. Re: shapes-ISSUE-171 (negated sh:classIn): sh:classIn SPARQL definition incorrect [SHACL Spec] (from holger@topquadrant.com on 2016-07-05)
2. Re: shapes-ISSUE-172 (sh:nodeKind SPARQL definition): the sh:nodeKind SPARQL definition is unnecessarily complex [SHACL Spec] (from kcoyle@kcoyle.net on 2016-06-30)
3. Re: shapes-ISSUE-172 (sh:nodeKind SPARQL definition): the sh:nodeKind SPARQL definition is unnecessarily complex [SHACL Spec] (from pfpschneider@gmail.com on 2016-06-29)
4. Re: shapes-ISSUE-172 (sh:nodeKind SPARQL definition): the sh:nodeKind SPARQL definition is unnecessarily complex [SHACL Spec] (from kcoyle@kcoyle.net on 2016-06-29)
5. Re: shapes-ISSUE-172 (sh:nodeKind SPARQL definition): the sh:nodeKind SPARQL definition is unnecessarily complex [SHACL Spec] (from pfpschneider@gmail.com on 2016-06-29)
6. Re: shapes-ISSUE-172 (sh:nodeKind SPARQL definition): the sh:nodeKind SPARQL definition is unnecessarily complex [SHACL Spec] (from lehors@us.ibm.com on 2016-06-29)
7. Re: shapes-ISSUE-172 (sh:nodeKind SPARQL definition): the sh:nodeKind SPARQL definition is unnecessarily complex [SHACL Spec] (from pfpschneider@gmail.com on 2016-06-29)
8. shapes-ISSUE-171 (negated sh:classIn): sh:classIn SPARQL definition incorrect [SHACL Spec] (from sysbot+tracker@w3.org on 2016-06-29)

Related notes:

No additional notes.

Display change log