shapes-ISSUE-76 (commutability): Specifying execution order and commutability of and and or [SHACL Spec]

shapes-ISSUE-76 (commutability): Specifying execution order and commutability of and and or [SHACL Spec]

http://www.w3.org/2014/data-shapes/track/issues/76

Raised by: Peter Patel-Schneider
On product: SHACL Spec

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.

Received on Monday, 13 July 2015 19:13:27 UTC