- From: Seaborne, Andy <andy.seaborne@hp.com>
- Date: Tue, 14 Feb 2006 17:51:23 +0000
- To: Enrico Franconi <franconi@inf.unibz.it>
- CC: Lee Feigenbaum <feigenbl@us.ibm.com>, RDF Data Access Working Group <public-rdf-dawg@w3.org>
Enrico Franconi wrote: > On 14 Feb 2006, at 07:53, Lee Feigenbaum wrote: >> The definition of Pattern Solution currently in 2.4 says: >> >> """ >> A pattern solution, S, is a variable substitution whose domain >> includes >> all the variables in V and whose range is a subset of the set of >> RDF terms >> occurring in G. >> """ >> >> I believe that the range of S is really a subset of the terms >> appearing in >> the scoping graph, G', correct? Unfortunately, the scoping graph >> has not >> been defined at this point in the document. Perhaps the definition >> should >> be rewritten to be parametrized on the identity of G? > > You are right. At this point, it is enough to have a generic > definition saying that: "and whose range is a subset of the set of > RDF terms." > > --e. > Change made by removing the reference to G. Andy
Received on Tuesday, 14 February 2006 17:51:35 UTC