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: Enrico Franconi <franconi@inf.unibz.it>
Date: Tue, 14 Feb 2006 09:10:37 +0100
Message-Id: <2182D512-7FB5-4A96-B7A4-1E347B8D33AE@inf.unibz.it>
Cc: RDF Data Access Working Group <public-rdf-dawg@w3.org>
To: Lee Feigenbaum <feigenbl@us.ibm.com>
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.



Received on Tuesday, 14 February 2006 08:10:47 GMT

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