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

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.


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.

Antoine Zimmermann
ISCOD / LSTI - Institut Henri Fayol
École Nationale Supérieure des Mines de Saint-Étienne
158 cours Fauriel
42023 Saint-Étienne Cedex 2
Tél:+33(0)4 77 42 66 03
Fax:+33(0)4 77 42 66 66

Received on Tuesday, 18 September 2012 15:11:39 UTC