- From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
- Date: Tue, 12 Nov 2002 22:13:37 +0100
- To: "w3c-rdfcore-wg" <w3c-rdfcore-wg@w3.org>
I've been testing http://www.w3.org/2000/10/rdf-tests/rdfcore/Manifest more specifically the entailment parts of it. The test consists in asserting http://www.w3.org/2000/10/rdf-tests/rdfcore/Manifest and trying to prove the same http://www.w3.org/2000/10/rdf-tests/rdfcore/Manifest but when an entailmenttest is described it is also performed (all pieces are taken live from the web). I think that they all succeed i.e. <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test004.nt> P+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/test001.nt> P+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test002b.nt> NP- <http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test001b.nt> NP- <http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test002b.nt> NP- <http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test001b.nt> NP- <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/test001.nt> P+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-uris/test001.rdf> NP- <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-uris/test002.rdf> NP- <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-container-membership-superProperty/not1C.rdf> NP- <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-subPropertyOf-semantics/test002.nt> P+ where P+ is proof found for a positve entailment test and NP- is a no proof found for a negative entailment test. The detailed results are at http://lists.w3.org/Archives/Public/www-archive/2002Nov/att-0035/01-rdfcoreManifestResult Because I don't have an RDF/XML parser in euler I use an AskJena.fromWeb method which is doing an on the fly N3 triples generation (thanks to the Jena team). This does not work for the C# version of euler. -- , Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Tuesday, 12 November 2002 16:14:12 UTC