- From: Andy Seaborne <andy@apache.org>
- Date: Mon, 6 Feb 2017 10:21:51 +0000
- To: public-sparql-exists@w3.org
Peter has some comments on the SHACL comments list that relate to EXISTS. [1] > There is no demonstration that the choice of fresh variables in the > definition of PrjMap(P,PV) is insignificant. I hope we can explain in the document to clarify this, but I'm not clear what you are looking for. What would constitute such a demonstration? Do you have a example where it is significant? > The result of PrjMap(X) depends on the order in which the projections > in X are chosen, but this order is not specified. Yes - it would be better to define the order and the outcome is order dependent with respect to replaced variables but does it make a difference? It is only variables restricted by scope that are changed. Do you have a case where it makes an observable difference? Would a bottom-up replacement be suitable? Andy [1] https://lists.w3.org/Archives/Public/public-rdf-shapes/2017Jan/0010.html
Received on Monday, 6 February 2017 10:22:25 UTC