- From: Antoine Zimmermann <antoine.zimmermann@emse.fr>
- Date: Fri, 18 Oct 2013 15:44:44 +0200
- 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