Re: SPARQL Dataset Graph Pattern [OK?]

Forgot the [OK?]

Seaborne, Andy wrote:
> 
> 
> Olivier Corby wrote:
>> I think there is something wrong in the first definition of section 8 
>> Querying the Dataset. I mentionned it last year and it was nicely 
>> corrected by Andy but the correction disappeared (may be there is a good 
>> reason, but I ignore it) :
> 
> Some kind of error - different place :-(
> 
>>
>> Definition:  RDF Dataset Graph Pattern
>>
>> If D is a dataset {G, (<u1>, G1), ...}, and P is a graph pattern then S 
>> is a pattern solution of RDF Dataset Graph Pattern GRAPH(g, P) if either of:
>>
>>     1. g is an IRI where g = <ui> for some i, and S is pattern solution 
>> of P on target graph Gi.
>>     2. g is a variable, S maps the variable g to <ui> and S is a pattern 
>> solution of P on target graph Gi
>>
>>
>> Should be :
>>
>>
>>     1. g is an IRI where g = <ui> for some i, and S is pattern solution 
>> of P on dataset {Gi, (<u1> G1), ...}
>>     2. g is a variable, S maps the variable g to <ui> and S is a pattern 
>> solution of P on dataset {Gi, (<u1> G1), ...}
>>
>>
>>
>> The reason is that pattern P may contain another dataset graph pattern 
>> that must be matched on the dataset, not on Gi only, e.g. :
>>
>> graph ?src1  { PATTERN  .  graph ?src2  { PATTERN } }
>>
>>
>> Best regards,
>>
>> Olivier.
> 
> Corrected along the lines of your suggestion.  This also means that the 
> definition for "target graph" (sec 7) can be removed as it is no longer needed 
> and I have reworded some text in 2.4 also.
> 
> I hope this addresses your comment - please let us know if it does.
> 
> 	Andy
> 
> 
>

Received on Monday, 13 March 2006 18:15:59 UTC