on pre-binding

I see that there is a modified section on pre-binding in the SHACL document.
There are multiple structural problems with this section.

There is no demonstration that the choice of fresh variables in the
definition of PrjMap(P,PV) is insignificant.

The result of PrjMap(X) depends on the order in which the projections in X
are chosen, but this order is not specified.

The statement of pre-binding in the SHACL document doesn't mention
pre-binding at all, just evaluation.

Pre-binding is defined in the SHACL document on solution mappings and graph
patterns.  However, all the places where pre-binding is used in SHACL are
for a solution mapping and a query.  In SPARQL, queries are not graph
patterns so the definition of pre-binding in the SHACL document is not

Peter F. Patel-Schneider
Nuance Communications

Received on Friday, 27 January 2017 03:13:35 UTC