W3C home > Mailing lists > Public > public-data-shapes-wg@w3.org > March 2016

ISSUE-68 definition of pre-binding

From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
Date: Mon, 21 Mar 2016 11:08:57 -0700
To: Dimitris Kontokostas <kontokostas@informatik.uni-leipzig.de>, Holger Knublauch <holger@topquadrant.com>
Cc: RDF Data Shapes Working Group <public-data-shapes-wg@w3.org>
Message-ID: <56F038B9.4060206@gmail.com>
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.



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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:30:30 UTC