- From: RDF Data Shapes Working Group Issue Tracker <sysbot+tracker@w3.org>
- Date: Fri, 10 Jul 2015 14:32:23 +0000
- To: public-data-shapes-wg@w3.org
shapes-ISSUE-73 (sh:hasShape error handling): how do recursion errors from sh:hasShape interact with SPARQL [SHACL Spec]
http://www.w3.org/2014/data-shapes/track/issues/73
Raised by: Peter Patel-Schneider
On product: SHACL Spec
If sh:hasShape can throw a fatal error, then there needs to be a specification of how this error interacts with the rest of SPARQL.
Otherwise the results of certain shape validations can depend on, for example, the order of evaluation of constructs that SPARQL leaves open.
In a macro defined as
orproperties(?p,?q,?s)
expanding to
SELECT ?this (?this as ?subject)
WHERE {
?this ?p ?pv .
?this ?q ?qv .
FILTER (sh:hasShape(?pv, ?s, ?shapesGraph)
|| sh:hasShape(?qv, ?s, ?shapesGraph) ) .
}
the results of validation could depend on the order in which the two sh:hasShapes are evaluated.
Received on Friday, 10 July 2015 14:32:24 UTC