- From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
- Date: Tue, 18 Sep 2012 11:13:28 -0400
- To: Antoine Zimmermann <antoine.zimmermann@emse.fr>
- CC: public-rdf-wg@w3.org
Yeah, but certainly the wrong impression is being given. peter On 09/18/2012 11:11 AM, Antoine Zimmermann wrote: > 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. >> >> >> >
Received on Tuesday, 18 September 2012 15:13:57 UTC