ISSUE-76: Specifying execution order and commutativity of AND and OR

commutability

Specifying execution order and commutativity of AND and OR

State:

CLOSED

Product:

SHACL Spec

Raised by:

Peter Patel-Schneider

Opened on:

2015-07-13

Description:

Should AND and OR be commutative?

If errors are permitted to propagate upwards reordering disjuncts or conjuncts can result in different violations if care is not taken in how the disjuncts and conjuncts are evaluated.




AND

An sh:Error must be reported if the focus node produces error-level
constraint violations for at least one of the shapes in the rdf:List
sh:shapes. The produced sh:Error must have the focus node as its
sh:root. Evaluation of the shapes in the rdf:List must happen from left to
right, and the evaluation must stop as soon as it finds the first error.

OR

An sh:Error must be reported if the focus node produces error-level
constraint violations against all of the shapes in the rdf:List
sh:shapes. The produced sh:Error must have the focus node as its
sh:root. Evaluation of the shapes in the rdf:List must happen from left to
right, and the evaluation must stop as soon as it finds the first matching
shape.

Related Actions Items:

No related actions

Related emails:

1. Re: Issue-185 filter execution ordering (from kontokostas@informatik.uni-leipzig.de on 2016-11-10)
2. Re: Issue-185 filter execution ordering (from holger@topquadrant.com on 2016-11-10)
3. Issue-185 filter execution ordering (from kontokostas@informatik.uni-leipzig.de on 2016-11-10)
4. Re: RDF Data Shapes Agenda for 20 August 2015 (from lehors@us.ibm.com on 2015-08-20)
5. Re: RDF Data Shapes Agenda for 20 August 2015 (from pfpschneider@gmail.com on 2015-08-19)
6. Re: ISSUE-76: Can errors be treated as false? (from holger@topquadrant.com on 2015-08-06)
7. Re: ISSUE-76: Can errors be treated as false? (from pfpschneider@gmail.com on 2015-08-05)
8. Re: Updated proposal to close ISSUE-51 based on Turtle file in ISSUE-51 branch (from holger@topquadrant.com on 2015-08-05)
9. Re: ISSUE-76: Can errors be treated as false? (from pfpschneider@gmail.com on 2015-08-04)
10. Re: Updated proposal to close ISSUE-51 based on Turtle file in ISSUE-51 branch (from pfpschneider@gmail.com on 2015-08-04)
11. Re: Updated proposal to close ISSUE-51 based on Turtle file in ISSUE-51 branch (from holger@topquadrant.com on 2015-08-04)
12. ISSUE-76: Can errors be treated as false? (from holger@topquadrant.com on 2015-08-03)
13. Re: Proposal to close ISSUE-76 stating that execution order matters (from holger@topquadrant.com on 2015-07-30)
14. Re: Proposal to close ISSUE-76 stating that execution order matters (from lehors@us.ibm.com on 2015-07-29)
15. Re: Proposal to close ISSUE-76 stating that execution order matters (from pfpschneider@gmail.com on 2015-07-29)
16. Re: Proposal to close ISSUE-76 stating that execution order matters (from holger@topquadrant.com on 2015-07-29)
17. Re: Proposal to close ISSUE-76 stating that execution order matters (from pfpschneider@gmail.com on 2015-07-28)
18. Proposal to close ISSUE-76 stating that execution order matters (from holger@topquadrant.com on 2015-07-28)
19. shapes-ISSUE-76 (commutability): Specifying execution order and commutability of and and or [SHACL Spec] (from sysbot+tracker@w3.org on 2015-07-13)

Related notes:

Display change log