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

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.