on validation

Validation does not appear to be correctly defined.

"A focus node validates against a shape if and only if either it does not
validate against some filter of the shape or none of the constraints in the
shape produce a validation result or a failure for the focus node."

Consider the following shapes graph:

s:s1 rdf:type sh:Shape ;
 sh:targetClass ex:Person ;
 sh:filter s:s2 ;
 sh:nodeKind sh:IRI .

s:s2 rdf:type sh:Shape ;
 sh:sparql [ sh:select """SELECT $this (true AS ?failure) { }""" ] .

Any focus node at all will validate against s:s1 even though a failure
occurs during validation.


Peter F. Patel-Schneider
Nuance Communications

Received on Thursday, 13 October 2016 01:58:48 UTC