ISSUE-68 definition of pre-binding

The definition of pre-binding in the current editors' draft says

pre-binding a variable with a value means that, prior to evaluating a query,
the SHACL processor needs to substitute all occurrences of the variable in the
query (including inner scopes and nested SELECT queries) with the provided value.

This does not match my intuitions on how pre-binding should work.

It may match what happens in practice, but I think that for this definition to
be acceptable there will have to be a determination that most SPARQL
implementations use this definition.

There is also no indication of when invalid pre-bindings are supposed to be
reported or how.

The appendix on pre-binding should be sent by several SPARQL experts to see if
they think that it is reasonable.


Received on Monday, 21 March 2016 18:09:26 UTC