Re: Question on syncing entailment regimes conditions between Query and Entailment docs

On 13/12/11 14:32, Birte Glimm wrote:
> Axel,
>
> I agree with your observation that E-consistency is meant and hat we
> should clarify this and sync query and ent. regimes.
>
> Birte
>
> On 12 December 2011 00:31, Axel Polleres<axel.polleres@deri.org>  wrote:
>> I have a question on the first condition in http://www.w3.org/TR/sparql11-query/#sparqlBGPExtend
>>
>> "For any consistent active graph AG, the entailment regime E uniquely specifies a scoping graph SG that is E-equivalent to AG."
>>
>> shouldn't this - to be precise - rather talk about "E-consistency"? I.e.:
>>
>> "For any E-consistent active graph AG, the entailment regime E uniquely specifies a scoping graph SG that is E-equivalent to AG."
             ^^^^^^^^^^^^
Change made.

>>
>> (I'll have a similar comment in my Entailment review, I am working on)
>>
>> Also, note that in the Entailment Regimes document it says:
>>
>> "The scoping graph, SG, corresponding to any consistent active graph AG is uniquely specified up to RDF graph equivalence and is E-equivalent to AG."
>>
>> where essentially "up to RDF graph equivalence" has been added (IIRC we had some discussions around this). I suppose we should bring bot the Entailment and Query doc in sync wrt. the definition of these conditions.
>>
>> So, overall, I think this condition should read, in both documents:
>>
>> "The scoping graph, SG, corresponding to any E-consistent active graph AG is uniquely specified up to<a href="http://www.w3.org/TR/rdf-concepts/#section-graph-equality">RDF graph equivalence</a>  and is E-equivalent to AG."

I don't see this text in the query doc.  Having made the first change to 
query, is that enough?

 Andy

>>
>> Note: I also suggest adding a link to RDF Graph equivalence, in order to clarify that this means simple equivalence.
>>
>> cheers,
>> Axel
>>
>>
>> --
>> Dr. Axel Polleres
>> url: http://www.polleres.net/  twitter: AxelPolleres

Received on Wednesday, 14 December 2011 10:11:10 UTC