Re: SPARQL Dataset Graph Pattern

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:12:49 UTC