W3C home > Mailing lists > Public > www-webont-wg@w3.org > May 2003

Re: Proposed response to Martin Merry, HP

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
Message-ID: <OFDAC9217F.0FBDB5F7-ONC1256D25.0075A66C-C1256D25.0075DA99@agfa.be>


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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:58:00 GMT