ISSUE-73: how do recursion errors from sh:hasShape interact with SPARQL
sh:hasShape error handling
how do recursion errors from sh:hasShape interact with SPARQL
- State:
- CLOSED
- Product:
- SHACL - SPARQL
- Raised by:
- Peter Patel-Schneider
- Opened on:
- 2015-07-10
- Description:
- 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. - Related Actions Items:
- No related actions
- Related emails:
- Re: shapes-ISSUE-73 (sh:hasShape error handling): how do recursion errors from sh:hasShape interact with SPARQL [SHACL Spec] (from holger@topquadrant.com on 2015-07-13)
- Re: shapes-ISSUE-73 (sh:hasShape error handling): how do recursion errors from sh:hasShape interact with SPARQL [SHACL Spec] (from holger@topquadrant.com on 2015-07-11)
- Re: shapes-ISSUE-73 (sh:hasShape error handling): how do recursion errors from sh:hasShape interact with SPARQL [SHACL Spec] (from holger@topquadrant.com on 2015-07-11)
- Re: shapes-ISSUE-73 (sh:hasShape error handling): how do recursion errors from sh:hasShape interact with SPARQL [SHACL Spec] (from pfpschneider@gmail.com on 2015-07-10)
- Re: shapes-ISSUE-73 (sh:hasShape error handling): how do recursion errors from sh:hasShape interact with SPARQL [SHACL Spec] (from pfpschneider@gmail.com on 2015-07-10)
- shapes-ISSUE-73 (sh:hasShape error handling): how do recursion errors from sh:hasShape interact with SPARQL [SHACL Spec] (from sysbot+tracker@w3.org on 2015-07-10)
Related notes:
Closed at V F2F5
Peter Patel-Schneider, 16 Dec 2015, 18:50:19RESOLUTION: Close ISSUE-73, no need until evidence of an actual problem, addressed with previous resolution of execution order doesn't matter
See http://www.w3.org/2015/12/16-shapes-minutes.html#resolution06
Display change log