W3C home > Mailing lists > Public > public-rdf-dawg@w3.org > October to December 2011

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

From: Andy Seaborne <andy.seaborne@epimorphics.com>
Date: Wed, 14 Dec 2011 10:10:43 +0000
Message-ID: <4EE87623.7010100@epimorphics.com>
To: public-rdf-dawg@w3.org


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 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 16:15:47 GMT