W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > November 2002

testing http://www.w3.org/2000/10/rdf-tests/rdfcore/Manifest

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>
Message-ID: <OF43611A22.69B2839E-ONC1256C6F.0073220F-C1256C6F.0074A734@agfa.be>

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 EST

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:54:05 EDT