Re: Draft for a "minimal dataset semantics" (Empty named graphs are trivially true)

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