Re: Draft for a "minimal dataset semantics" (Empty named graphs are trivially true) from Peter F. Patel-Schneider on 2012-09-18 (public-rdf-wg@w3.org from September 2012)

From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
Date: Tue, 18 Sep 2012 09:12:22 -0400
To: Antoine Zimmermann <antoine.zimmermann@emse.fr>
CC: RDF WG <public-rdf-wg@w3.org>
Message-ID: <50587336.4080106@gmail.com>

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 UTC