- From: Peter Patel-Schneider <pfpschneider@gmail.com>
- Date: Thu, 14 Mar 2013 13:22:29 -0700
- To: Antoine Zimmermann <antoine.zimmermann@emse.fr>
- Cc: public-rdf-wg@w3.org
Received on Thursday, 14 March 2013 20:22:58 UTC
OK, I see where you could be concerned that there is too much concern on scoping in the current semantics document. My solution to that would be to remove the only place where scoping matters at all in the semantics (sorry for not catching that in my previous posts). Requiring that the bnode map (A) is relative to a scope is not needed in the semantics, as far as I can see. All that matters is that A interprets all the bnodes in the graph. The second fix would then be to modify the conditions for a set of graphs to entail their union. Instead of talking about scoping graphs and being complete with respect the scope, it would say something relative to the union graph, such as the suggestion I made earlier. I think that the result could also be generalized to only require that all the triples with a particular bnode in the union graph to show up on one of the component graphs. peter
Received on Thursday, 14 March 2013 20:22:58 UTC