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.

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

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