Re: The theoreticians got rid of the OrderedMerge

Enrico Franconi wrote:
>> A minor comment:
>> "SPARQL defines results for simple entailment where the scoping set
>> contains the terms from G"
>>
>> -->
>>
>> "SPARQL defines results for simple entailment where the scoping set
>> contains only the terms from G"
> 
> A typo: it should be G' not G.
> 
> --e.

The next part of the sentence says "and G' is the same G".  Hence (if that is 
right) the term sets are the same.

	Andy

Received on Wednesday, 25 January 2006 18:37:43 UTC