Re: ISSUE-68: Updated definition

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

Skolemization in the SPARQL code means that the blank node will not match back
to itself in the graph it came from.


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:
> 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.
> Holger

Received on Wednesday, 9 March 2016 08:17:52 UTC