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:

1. 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)
2. 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)
3. 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)
4. 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)
5. 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)
6. 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:

Display change log