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.

Wait: G' is not required to be the same graph as G, even in basic 
SPARQL. If we do that, then we get compulsory told bnodes for all 
conforming engines. So the IRIs and literals in G and G' are the 
same, but the bnodeIDs might be (should be, IMO) different. In more 
direct language, the answer set can have (has) a different bnode 
scope than the dataset graph.

Pat

>	Andy


-- 
---------------------------------------------------------------------
IHMC		(850)434 8903 or (650)494 3973   home
40 South Alcaniz St.	(850)202 4416   office
Pensacola			(850)202 4440   fax
FL 32502			(850)291 0667    cell
phayesAT-SIGNihmc.us       http://www.ihmc.us/users/phayes

Received on Wednesday, 25 January 2006 19:43:08 UTC