W3C home > Mailing lists > Public > public-rdf-wg@w3.org > October 2013

Re: RDFS-inconsistency of a strange RDF graph

From: Antoine Zimmermann <antoine.zimmermann@emse.fr>
Date: Fri, 18 Oct 2013 15:44:44 +0200
Message-ID: <52613B4C.5090800@emse.fr>
To: "Peter F. Patel-Schneider" <pfpschneider@gmail.com>
CC: public-rdf-wg@w3.org
The file that has "rdf:type rdf:type rdf:type" is used as a conclusion 
file, not a premise file.

The table in http://www.w3.org/TR/rdf-testcases/ mentions:

premise file: FALSE
conclusion file: rdfs-entailment/test002.nt

It's obviously a positive entailment.
However, i don't think we should have tests that have FALSE as a premise 
file.



AZ

Le 18/10/2013 15:27, Peter F. Patel-Schneider a écrit :
> Hi:
>
> On further examination of the -Semantics test suite, I am having
> problems figuring out why
> /rdf:type rdf:type rdf:type .
> /is RDFS-inconsistent.
>
> Does anyone have a rationale for this?
>
> This shows up in the 2004 tests.
>
> peter
>
>
>

-- 
Antoine Zimmermann
ISCOD / LSTI - Institut Henri Fayol
École Nationale Supérieure des Mines de Saint-Étienne
158 cours Fauriel
42023 Saint-Étienne Cedex 2
France
Tél:+33(0)4 77 42 66 03
Fax:+33(0)4 77 42 66 66
http://zimmer.aprilfoolsreview.com/
Received on Friday, 18 October 2013 13:45:06 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:04:33 UTC