- From: Antoine Zimmermann <antoine.zimmermann@emse.fr>
- Date: Tue, 18 Sep 2012 17:11:02 +0200
- 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 UTC