W3C home > Mailing lists > Public > public-rdf-wg@w3.org > September 2012

Re: Draft for a "minimal dataset semantics" (Empty named graphs are trivially true)

From: Antoine Zimmermann <antoine.zimmermann@emse.fr>
Date: Tue, 18 Sep 2012 17:11:02 +0200
Message-ID: <50588F06.2040808@emse.fr>
To: public-rdf-wg@w3.org
The entailments T5.1 and T5.2 are correct but what may not be correct is 
the title of Section 2.7.

But the titles in the Test case section are not proposed to be 
normative, nor even as a text that would appear in the spec at all.


AZ

Le 18/09/2012 15:12, Peter F. Patel-Schneider a écrit :
> I don't think that 2.7 is correct.
>
>
> For something to be trivially true, it should be entailed by nothing,
> but the two examples go the other way.
>
> peter
>
> PS: This is not to say that empty named graphs are not trivially true,
> just that the examples don't say anything about whether they are.
>
>
>

-- 
Antoine Zimmermann
ISCOD / LSTI - Institut Henri Fayol
École Nationale Supérieure des Mines de Saint-Étienne
158 cours Fauriel
42023 Saint-Étienne Cedex 2
France
Tél:+33(0)4 77 42 66 03
Fax:+33(0)4 77 42 66 66
http://zimmer.aprilfoolsreview.com/
Received on Tuesday, 18 September 2012 15:11:39 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 16:25:51 GMT