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

Re: ISSUE-68: Updated definition

From: Holger Knublauch <holger@topquadrant.com>
Date: Wed, 9 Mar 2016 18:46:59 +1000
To: "public-data-shapes-wg@w3.org" <public-data-shapes-wg@w3.org>
Message-ID: <56DFE303.2010904@topquadrant.com>
On 9/03/2016 18:17, Peter F. Patel-Schneider wrote:
> 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.)

Do you have an example for this?

>
> The substitution can modify variables from different scopes, which will change
> results.

Do you have an example for this?

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

Conceptually, the bnodes will also need to be skolemized in the data graph.

All this is an entirely conceptual definition. Actual implementations 
are unlikely to ever use this mechanism, but instead operate on Algebra 
and API level.

Holger
Received on Wednesday, 9 March 2016 08:47:33 UTC

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