on failure and sh:hasShape

"The result of the sh:hasShape function is either:
- true if the validation of the focusNode against the given shape produces
  no validation results.
- false if the validation of the focusNode against the given shape produces
  at least one validation result.
- a SPARQL error if during the execution a failure has been reported. This
  result indicates a failure. Implementations MAY for example use this to
  report infinite recursion or invalid input."

So if a failure is reported sh:hasShape has to return a value and also
signal a SPARQL error.  However, this is not possible for a SPARQL function.

Peter F. Patel-Schneider
Nuance Communications

Received on Thursday, 13 October 2016 02:18:54 UTC