This is a summary of the testresults with Euler for http://www.w3.org/2000/10/rdf-tests/rdfcore/Manifest Euler is an inference engine supporting logic based proofs. It is a backward-chaining reasoner enhanced with Euler path detection and will tell you whether a given set of facts and rules supports a given conclusion. More details are at http://www.agfa.com/w3c/euler/ http://eulersharp.sourceforge.net/2003/03swap/ To parse the manifests and the test documents Jena 2 is used and we then just run the entailment tests. We assume that we PASS a test when: a proof is found for a PositiveEntailmentTest or no proof is found for a NegativeEntailmentTest seen as a PositiveEntailmentTest The results are: tests PASS FAIL ----------------------------------------------------------- PositiveEntailmentTest 20 18 0 NegativeEntailmentTest 21 18 3 ----------------------------------------------------------- 41 38 3 The detailed results are: (there is a maybe not up to date proof at http://www.agfa.com/w3c/temp/rdf-proof.n3) [ tr:test ; tr:begins "2003-09-03T22:55:21Z"^^xsd:dateTime; tr:ends "2003-09-03T22:55:21Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_NegativeEntailmentTest_RDF>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-09-03T22:55:22Z"^^xsd:dateTime; tr:ends "2003-09-03T22:55:22Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_NegativeEntailmentTest_RDF>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-09-03T22:55:22Z"^^xsd:dateTime; tr:ends "2003-09-03T22:55:22Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_NegativeEntailmentTest_RDF>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-09-03T22:55:22Z"^^xsd:dateTime; tr:ends "2003-09-03T22:55:22Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_RDF>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-09-03T22:55:22Z"^^xsd:dateTime; tr:ends "2003-09-03T22:55:22Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_NegativeEntailmentTest_RDF>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-09-03T22:55:22Z"^^xsd:dateTime; tr:ends "2003-09-03T22:55:22Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_NegativeEntailmentTest_RDF>; a tr:FailingRun]. [ tr:test ; tr:begins "2003-09-03T22:55:22Z"^^xsd:dateTime; tr:ends "2003-09-03T22:55:22Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_RDF>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-09-03T22:55:22Z"^^xsd:dateTime; tr:ends "2003-09-03T22:55:22Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_NegativeEntailmentTest_RDF>; a tr:FailingRun]. [ tr:test ; tr:begins "2003-09-03T22:55:22Z"^^xsd:dateTime; tr:ends "2003-09-03T22:55:22Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_NegativeEntailmentTest_RDF>; a tr:FailingRun]. [ tr:test ; tr:begins "2003-09-03T22:55:22Z"^^xsd:dateTime; tr:ends "2003-09-03T22:55:22Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_NegativeEntailmentTest_RDF>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-09-03T22:55:22Z"^^xsd:dateTime; tr:ends "2003-09-03T22:55:22Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_NegativeEntailmentTest_RDF>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-09-03T22:55:22Z"^^xsd:dateTime; tr:ends "2003-09-03T22:55:22Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_NegativeEntailmentTest_RDF>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-09-03T22:55:22Z"^^xsd:dateTime; tr:ends "2003-09-03T22:55:22Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_NegativeEntailmentTest_RDF>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-09-03T22:55:22Z"^^xsd:dateTime; tr:ends "2003-09-03T22:55:24Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_NegativeEntailmentTest_RDF>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-09-03T22:55:24Z"^^xsd:dateTime; tr:ends "2003-09-03T22:55:24Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_RDF>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-09-03T22:55:24Z"^^xsd:dateTime; tr:ends "2003-09-03T22:55:24Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_RDF>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-09-03T22:55:24Z"^^xsd:dateTime; tr:ends "2003-09-03T22:55:24Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_RDF>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-09-03T22:55:24Z"^^xsd:dateTime; tr:ends "2003-09-03T22:55:24Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_RDF>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-09-03T22:55:24Z"^^xsd:dateTime; tr:ends "2003-09-03T22:55:24Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_NegativeEntailmentTest_RDF>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-09-03T22:55:24Z"^^xsd:dateTime; tr:ends "2003-09-03T22:55:24Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_RDF>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-09-03T22:55:24Z"^^xsd:dateTime; tr:ends "2003-09-03T22:55:24Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_RDF>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-09-03T22:55:24Z"^^xsd:dateTime; tr:ends "2003-09-03T22:55:24Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_RDF>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-09-03T22:55:24Z"^^xsd:dateTime; tr:ends "2003-09-03T22:55:24Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_NegativeEntailmentTest_RDF>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-09-03T22:55:24Z"^^xsd:dateTime; tr:ends "2003-09-03T22:55:24Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_RDF>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-09-03T22:55:24Z"^^xsd:dateTime; tr:ends "2003-09-03T22:55:24Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_RDF>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-09-03T22:55:24Z"^^xsd:dateTime; tr:ends "2003-09-03T22:55:24Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_NegativeEntailmentTest_RDF>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-09-03T22:55:24Z"^^xsd:dateTime; tr:ends "2003-09-03T22:55:24Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_RDF>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-09-03T22:55:24Z"^^xsd:dateTime; tr:ends "2003-09-03T22:55:24Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_RDF>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-09-03T22:55:24Z"^^xsd:dateTime; tr:ends "2003-09-03T22:55:24Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_RDF>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-09-03T22:55:24Z"^^xsd:dateTime; tr:ends "2003-09-03T22:55:24Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_RDF>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-09-03T22:55:24Z"^^xsd:dateTime; tr:ends "2003-09-03T22:55:24Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_NegativeEntailmentTest_RDF>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-09-03T22:55:24Z"^^xsd:dateTime; tr:ends "2003-09-03T22:55:24Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_NegativeEntailmentTest_RDF>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-09-03T22:55:24Z"^^xsd:dateTime; tr:ends "2003-09-03T22:55:24Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_NegativeEntailmentTest_RDF>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-09-03T22:55:24Z"^^xsd:dateTime; tr:ends "2003-09-03T22:55:24Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_NegativeEntailmentTest_RDF>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-09-03T22:55:24Z"^^xsd:dateTime; tr:ends "2003-09-03T22:55:24Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_NegativeEntailmentTest_RDF>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-09-03T22:55:25Z"^^xsd:dateTime; tr:ends "2003-09-03T22:55:25Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_RDF>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-09-03T22:55:25Z"^^xsd:dateTime; tr:ends "2003-09-03T22:55:30Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_NegativeEntailmentTest_RDF>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-09-03T22:55:30Z"^^xsd:dateTime; tr:ends "2003-09-03T22:55:30Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_RDF>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-09-03T22:55:30Z"^^xsd:dateTime; tr:ends "2003-09-03T22:55:30Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_RDF>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-09-03T22:55:30Z"^^xsd:dateTime; tr:ends "2003-09-03T22:55:30Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_RDF>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-09-03T22:55:30Z"^^xsd:dateTime; tr:ends "2003-09-03T22:55:30Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_RDF>; a tr:PassingRun].