Re: comments on Euler owl rules

will just mention the test set that we run


RDFS tests

<http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlsch-02/Manifest.rdf#whitespace-facet-3>

P+
<http://www.w3.org/2000/10/rdf-tests/rdfcore/tex-01/Manifest.rdf#language-tag-case-2>

P+
<http://www.w3.org/2000/10/rdf-tests/rdfcore/tex-01/Manifest.rdf#language-tag-case-1>

P+
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-seq-representation/Manifest.rdf#test004>

P+
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-seq-representation/Manifest.rdf#test003>

P+
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-seq-representation/Manifest.rdf#test002>

P+
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/Manifest.rdf#test001>

P+
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/Manifest.rdf#test001>

P+
<http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.rdf#test010>

P+
<http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.rdf#test008>

P+
<http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.rdf#range-clash>

P+
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/Manifest.rdf#conjunction-test>

P+
<http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.rdf#semantic-equivalence-between-datatypes>

P+
<http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.rdf#language-ignored-for-numeric-types-3>

P+
<http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.rdf#language-ignored-for-numeric-types-2>

P+
<http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.rdf#language-ignored-for-numeric-types-1>

P+
<http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.rdf#non-well-formed-literal-1>

P+
<http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.rdf#semantic-equivalence-within-type-2>

P+
<http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.rdf#semantic-equivalence-within-type-1>

P+
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-subPropertyOf-semantics/Manifest.rdf#test001>

P+


OWL tests (just those with otest:level Full)

<http://www.w3.org/2002/03owlt/sameIndividualAs/Manifest001#test> P+
<http://www.w3.org/2002/03owlt/I4.6/Manifest001#test> P+
<http://www.w3.org/2002/03owlt/differentFrom/Manifest002#test> P+
<http://www.w3.org/2002/03owlt/InverseFunctionalProperty/Manifest004#test>
P+
<http://www.w3.org/2002/03owlt/I5.24/Manifest001#test> NP+
<http://www.w3.org/2002/03owlt/disjointWith/Manifest002#test> NP+
<http://www.w3.org/2002/03owlt/I4.6/Manifest002#test> P+
<http://www.w3.org/2002/03owlt/I5.24/Manifest002#test> NP+
<http://www.w3.org/2002/03owlt/equivalentClass/Manifest007#test> NP+
<http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest001#test> P+
<http://www.w3.org/2002/03owlt/I4.6/Manifest003#test> P+
<http://www.w3.org/2002/03owlt/maxCardinality/Manifest001#test> P+
<http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest002#test> P+
<http://www.w3.org/2002/03owlt/complementOf/Manifest001#test> P+
<http://www.w3.org/2002/03owlt/oneOf/Manifest002#test> P+
<http://www.w3.org/2002/03owlt/maxCardinality/Manifest002#test> P+
<http://www.w3.org/2002/03owlt/someValuesFrom/Manifest001#test> NP+
<http://www.w3.org/2002/03owlt/AllDifferent/Manifest001#test> P+
<http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest003#test> P+
<http://www.w3.org/2002/03owlt/oneOf/Manifest003#test> P+
<http://www.w3.org/2002/03owlt/distinctMembers/Manifest001#test> P+
<http://www.w3.org/2002/03owlt/cardinality/Manifest006#test> NP+
<http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest004#test> P+
<http://www.w3.org/2002/03owlt/inverseOf/Manifest001#test> P+
<http://www.w3.org/2002/03owlt/imports/Manifest001#test> P+
<http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest005#test> NP+
<http://www.w3.org/2002/03owlt/extra-credit/Manifest002#test> NP+
<http://www.w3.org/2002/03owlt/I5.1/Manifest001#test> P+
<http://www.w3.org/2002/03owlt/equivalentProperty/Manifest005#test> NP+
<http://www.w3.org/2002/03owlt/I5.5/Manifest003#test> P+
<http://www.w3.org/2002/03owlt/extra-credit/Manifest003#test> NP+
<http://www.w3.org/2002/03owlt/imports/Manifest003#test> P+
<http://www.w3.org/2002/03owlt/equivalentProperty/Manifest006#test> P+
<http://www.w3.org/2002/03owlt/I5.5/Manifest004#test> P+
<http://www.w3.org/2002/03owlt/InverseFunctionalProperty/Manifest001#test>
P+
<http://www.w3.org/2002/03owlt/extra-credit/Manifest004#test> NP+
<http://www.w3.org/2002/03owlt/TransitiveProperty/Manifest001#test> P+
<http://www.w3.org/2002/03owlt/SymmetricProperty/Manifest001#test> P+
<http://www.w3.org/2002/03owlt/InverseFunctionalProperty/Manifest002#test>
P+
<http://www.w3.org/2002/03owlt/unionOf/Manifest001#test> P+
<http://www.w3.org/2002/03owlt/differentFrom/Manifest001#test> P+
<http://www.w3.org/2002/03owlt/InverseFunctionalProperty/Manifest003#test>
P+
<http://www.w3.org/2002/03owlt/unionOf/Manifest002#test> P+
<http://www.w3.org/2002/03owlt/intersectionOf/Manifest001#test> P+


MISC tests - here just the RHS side is mentioned;
a more acurate description of the tests is at
http://www.agfa.com/w3c/euler/etc5

<http://www.agfa.com/w3c/euler/authen.lemma> P+
<http://www.agfa.com/w3c/euler/graph.lemma> P+
<http://www.agfa.com/w3c/euler/gedcom-query> P+
<http://www.agfa.com/w3c/euler/danc-query> P+
<http://www.agfa.com/w3c/euler/ziv-query> P+
<http://www.agfa.com/w3c/euler/danb-query> P+
<http://www.agfa.com/w3c/euler/test-test> P+
<http://www.agfa.com/w3c/euler/animal-simple> P+
<http://www.agfa.com/w3c/euler/subprop-query> P+
<http://www.agfa.com/w3c/euler/subclass-query> P+
<http://www.agfa.com/w3c/euler/rdfs-query> P+
<http://www.agfa.com/w3c/euler/owl-query> P+
<http://www.agfa.com/w3c/euler/builtins> P+
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test004.nt>

P+
<http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test001.nt> P+
<http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test002.nt> P+
<http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt> P+
<http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test005.nt> P+
<http://www.w3.org/2000/10/rdf-tests/rdfcore/entailment/etc001> P+
<http://www.cs.rpi.edu/~puninj/RGML/N3/simplegraph_query> P+
<http://www.agfa.com/w3c/n3/poolGame-query-web> P+
<http://www.agfa.com/w3c/2000/10/swap/test/pathCrossQ> P+
<http://www.agfa.com/w3c/euler/dtC> P+
<http://www.agfa.com/w3c/2002/10/medicad/op/lldmC> P+
<http://eulersharp.sourceforge.net/2003/01calt/pimC> P+
<http://www.agfa.com/w3c/euler/log-query> P+
<http://www.agfa.com/w3c/euler/easterC> P+
<http://eulersharp.sourceforge.net/2003/05geot/continentsC.n3> P+
<http://www.w3.org/2000/10/rdf-tests/rdfcore/ntriples/test.nt> P+
<http://www.w3.org/2002/03owlt/mapInvC> P+
<http://www.w3.org/2002/03owlt/mapVocabC> P+
<http://www.w3.org/2002/03owlt/oneOfC> P+
<http://www.w3.org/2002/03owlt/pathTransitiveC> P+
<http://www.w3.org/2002/03owlt/unionOfC> P+
<http://www.w3.org/2002/03owlt/sameGuyC> P+
<http://www.w3.org/2002/03owlt/sameStateC> P+
<http://www.w3.org/2002/03owlt/dbC> P+
<http://www.w3.org/2002/03owlt/intersectionOfC> P+
<http://www.w3.org/2002/03owlt/ontAC> P+
<http://www.w3.org/2002/03owlt/SocratesC> P+


The ~proof~ of those 104 tests can be found in
http://www.agfa.com/w3c/euler/etc5-proof.n3
there are 11 cases, all OWL, for which we have no proof found
(but believe that a possible owl-comprehension-rules will help)


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


                                                                                                                        
                    "Peter F.                                                                                           
                    Patel-Schneider"          To:     Jos De_Roo/AMDUS/MOR/Agfa-NV/BE/BAYER@AGFA                        
                    <pfps@research.bell       cc:     www-webont-wg@w3.org                                              
                    -labs.com>                Subject:     Re: comments on Euler owl rules                              
                                                                                                                        
                    2003-06-06 01:46 PM                                                                                 
                                                                                                                        
                                                                                                                        




Which tests can Euler do?

peter

Received on Friday, 6 June 2003 08:21:35 UTC