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 09:12:22 -0400
Message-ID: <50587336.4080106@gmail.com>
To: Antoine Zimmermann <antoine.zimmermann@emse.fr>
CC: RDF WG <public-rdf-wg@w3.org>
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.


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 13:13:09 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 22:02:07 UTC