Re: important: RDF Implementation status

Hi Eric,

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             21         21          0

NegativeEntailmentTest             22         17          5

-----------------------------------------------------------
                                   43         38          5

(those failures are due to the fact that we have partial builtin
datatype support and we have no means to switch it off)


The detailed results are:

<http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.rdf#language-and-xml-literal>
 <#proofFound_RDF_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.rdf#language-ignored-for-numeric-types-1>
 <#proofFound_RDF_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.rdf#language-ignored-for-numeric-types-2>
 <#proofFound_RDF_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.rdf#language-ignored-for-numeric-types-3>
 <#proofFound_RDF_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.rdf#language-important-for-non-dt-entailment-1>
 <#proofFound_RDF_NegativeEntailmentTest> <#FAIL>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.rdf#language-important-for-non-dt-entailment-2>
 <#proofFound_RDF_NegativeEntailmentTest> <#FAIL>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.rdf#non-well-formed-literal-1>
 <#proofFound_RDF_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.rdf#non-well-formed-literal-2>
 <#noProofFound_RDF_NegativeEntailmentTest> <#PASS>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.rdf#range-clash>
 <#proofFound_RDF_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.rdf#semantic-equivalence-between-datatypes>
 <#proofFound_RDF_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.rdf#semantic-equivalence-within-type-1>
 <#proofFound_RDF_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.rdf#semantic-equivalence-within-type-2>
 <#proofFound_RDF_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.rdf#test008>
 <#proofFound_RDF_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.rdf#test009>
 <#noProofFound_RDF_NegativeEntailmentTest> <#PASS>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.rdf#test010>
 <#proofFound_RDF_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/horst-01/Manifest.rdf#subClassOf-intensional>
 <#noProofFound_RDF_NegativeEntailmentTest> <#PASS>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/horst-01/Manifest.rdf#subPropertyOf-intensional>
 <#noProofFound_RDF_NegativeEntailmentTest> <#PASS>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-uris/Manifest.rdf#test003>
 <#noProofFound_RDF_NegativeEntailmentTest> <#PASS>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-uris/Manifest.rdf#test004>
 <#noProofFound_RDF_NegativeEntailmentTest> <#PASS>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-seq-representation/Manifest.rdf#test002>
 <#proofFound_RDF_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-seq-representation/Manifest.rdf#test003>
 <#proofFound_RDF_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-seq-representation/Manifest.rdf#test004>
 <#proofFound_RDF_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/Manifest.rdf#test007a>
 <#noProofFound_RDF_NegativeEntailmentTest> <#PASS>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/Manifest.rdf#test007b>
 <#noProofFound_RDF_NegativeEntailmentTest> <#PASS>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/Manifest.rdf#test007c>
 <#noProofFound_RDF_NegativeEntailmentTest> <#PASS>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-container-membership-superProperty/Manifest.rdf#test001>
 <#noProofFound_RDF_NegativeEntailmentTest> <#PASS>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/Manifest.rdf#conjunction-test>
 <#proofFound_RDF_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/Manifest.rdf#intensionality-domain>
 <#noProofFound_RDF_NegativeEntailmentTest> <#PASS>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/Manifest.rdf#intensionality-range>
 <#noProofFound_RDF_NegativeEntailmentTest> <#PASS>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/Manifest.rdf#test001>
 <#proofFound_RDF_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/Manifest.rdf#test001>
 <#proofFound_RDF_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-subClassOf-a-Property/Manifest.rdf#test001>
 <#noProofFound_RDF_NegativeEntailmentTest> <#PASS>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-subPropertyOf-semantics/Manifest.rdf#test001>
 <#proofFound_RDF_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/Manifest.rdf#test001>
 <#noProofFound_RDF_NegativeEntailmentTest> <#PASS>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/Manifest.rdf#test002>
 <#noProofFound_RDF_NegativeEntailmentTest> <#PASS>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/Manifest.rdf#test003>
 <#noProofFound_RDF_NegativeEntailmentTest> <#PASS>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/Manifest.rdf#test004>
 <#noProofFound_RDF_NegativeEntailmentTest> <#PASS>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/tex-01/Manifest.rdf#language-tag-case-1>
 <#proofFound_RDF_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/tex-01/Manifest.rdf#language-tag-case-2>
 <#proofFound_RDF_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlsch-02/Manifest.rdf#whitespace-facet-1>
 <#proofFound_RDF_NegativeEntailmentTest> <#FAIL>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlsch-02/Manifest.rdf#whitespace-facet-2>
 <#proofFound_RDF_NegativeEntailmentTest> <#FAIL>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlsch-02/Manifest.rdf#whitespace-facet-3>
 <#proofFound_RDF_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlsch-02/Manifest.rdf#whitespace-facet-4>
 <#proofFound_RDF_NegativeEntailmentTest> <#FAIL>.

--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/


                                                                                                                                        
                      Eric Miller                                                                                                       
                      <em@w3.org>               To:       w3c-rdfcore-wg@w3.org                                                         
                      Sent by:                  cc:                                                                                     
                      w3c-rdfcore-wg-req        Subject:  important: RDF Implementation status                                          
                      uest@w3.org                                                                                                       
                                                                                                                                        
                                                                                                                                        
                      2003-07-23 04:46                                                                                                  
                      PM                                                                                                                
                                                                                                                                        
                                                                                                                                        





Working group member developers,

We are in the process of assessing RDF implementation for drafting a
directors decision and we need your help.

Please run your code base against the test cases [1] and report your
finding to w3c-rdf-comments as soon as possible. We need this in the
next week.  Please include in your finding the toolkit name and
description. Describing your toolkits in RDF gets you bonus points :)
[2]

Please feel free to forward this request to other developers who are
working on RDF toolkits.

thanks for all of your help,

--eric

[1] http://www.w3.org/2000/10/rdf-tests/rdfcore/
[2] http://www.w3.org/2001/sw/EO/usecases/tools

Received on Thursday, 24 July 2003 07:10:17 UTC