W3C home > Mailing lists > Public > public-rdf-dawg@w3.org > January to March 2006

Re: rq23 def'n "Pattern Solution" wrong? (and more on BGP')

From: Seaborne, Andy <andy.seaborne@hp.com>
Date: Tue, 14 Feb 2006 17:51:23 +0000
Message-ID: <43F2189B.2040704@hp.com>
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 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 16:15:25 GMT