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: Peter F. Patel-Schneider <pfpschneider@gmail.com>
Date: Tue, 18 Sep 2012 11:13:28 -0400
Message-ID: <50588F98.4060004@gmail.com>
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 GMT

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