- From: Jos De_Roo <jos.deroo@agfa.com>
- Date: Tue, 13 May 2003 23:27:09 +0200
- To: "Jim Hendler <hendler" <hendler@cs.umd.edu>
- Cc: Dan Connolly <connolly@w3.org>, webont <www-webont-wg@w3.org>, www-webont-wg-request@w3.org
Jim, FYI, here a quick summary of our test results
In our current state we run 75 OWL Full tests
(and consider RDFS tests as OWL Full tests).
Those tests are fetched from
http://www.w3.org/2000/10/rdf-tests/rdfcore/ and
http://www.w3.org/2002/03owlt/
We don't run the Lite/DL tests (we can prove
some but have mostly big trouble unless we
rewrite them is simple triple and triple
implication form and use log: and math: stuff)
as well as the non-entailment tests and the
consistency tests (we simply can't prove them).
If there is a P+ we have found a proof (66 cases);
if there is a NP+ we haven't found a proof (9 cases).
<http://www.w3.org/2000/10/rdf-tests/rdfcore/ntriples/test.nt> P+
<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+
<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+
<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> P+
<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> P+
<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+
-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Jim Hendler
<hendler@cs.umd.ed To: Dan Connolly <connolly@w3.org>
u> cc: webont <www-webont-wg@w3.org>
Sent by: Subject: Re: Proposed response to Martin Merry, HP
www-webont-wg-requ
est@w3.org
2003-05-13 05:21
PM
>Please help me find the relevant decisions
>and/or find evidence that those implementations
>pass some relevant tests and/or add an
>issue to the issues list.
>Dan Connolly, W3C http://www.w3.org/People/Connolly/
OK, this I can do -- the problem with the "relevant rulings" is that
our "what is in Lite v. DL" was a very longterm discussion, with a
number of pieces of decisions made along the way. I now regret that
we didn't "micro issue" this, but we didn't and now have to deal with
it. I will see if I can mine the log for a while, and see what I can
come up. Implementations to specific tests is a problem because we
have only some of these run on our specific tests yet - but they're
coming -- Jos and Ian have sent email saying they handle these - I
will see if I can mine the mail archive and will try to rework my
answer based on your comments
-JH
--
Professor James Hendler
hendler@cs.umd.edu
Director, Semantic Web and Agent Technologies 301-405-2696
Maryland Information and Network Dynamics Lab. 301-405-6707
(Fax)
Univ of Maryland, College Park, MD 20742 240-731-3822 (Cell)
http://www.cs.umd.edu/users/hendler
Received on Tuesday, 13 May 2003 17:27:27 UTC