shapes-ISSUE-222 (Pre-binding 2): Response to "On pre-binding" [SHACL - SPARQL] from Irene Polikoff on 2017-02-04 (public-data-shapes-wg@w3.org from February 2017)

From: Irene Polikoff <irene@topquadrant.com>
Date: Sat, 4 Feb 2017 16:07:31 -0500
To: "Peter F. Patel-Schneider" <pfpschneider@gmail.com>
Cc: public-data-shapes-wg <public-data-shapes-wg@w3.org>
Message-Id: <864D6957-ABA7-4896-AFF2-73DD608EA474@topquadrant.com>

Peter,

In your previous e-mail on pre-binding, you have stated: 


>>>> There is no demonstration that the choice of fresh variables in the
>>>> definition of PrjMap(P,PV) is insignificant.


Can you clarify this comment? The point of renaming is to make the choice of fresh variables not relevant. Can you give examples? - we are missing your context.

Thanks,

Irene Polikoff

Received on Saturday, 4 February 2017 21:08:06 UTC