- From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
- Date: Wed, 9 Mar 2016 00:17:20 -0800
- To: Holger Knublauch <holger@topquadrant.com>, "public-data-shapes-wg@w3.org" <public-data-shapes-wg@w3.org>
I'm pretty sure that this fails in a number of places. It can break the shared variable connection for MINUS. (I think that FILTER is OK, but I'm not sure.) The substitution can modify variables from different scopes, which will change results. Skolemization in the SPARQL code means that the blank node will not match back to itself in the graph it came from. peter On 03/08/2016 10:06 PM, Holger Knublauch wrote: > I had updated the definition of pre-binding but forgot to send an email to the > list: > > http://w3c.github.io/data-shapes/shacl/#sparql-constraints-prebound > > I believe we need implementer's feedback to see whether that definition is > clear and precise enough, but that applies to everything in the current draft, > so I hope we can live with that definition for now and close the ticket. > > HTH > Holger > >
Received on Wednesday, 9 March 2016 08:17:52 UTC