W3C home > Mailing lists > Public > public-rdf-shapes@w3.org > January 2017

on pre-binding

From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
Date: Thu, 26 Jan 2017 19:12:31 -0800
To: public-rdf-shapes@w3.org
Message-ID: <c9e6bc2b-5ceb-0583-af06-a4211f899d4c@gmail.com>
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
applicable.


Peter F. Patel-Schneider
Nuance Communications
Received on Friday, 27 January 2017 03:13:35 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:02:48 UTC