W3C home > Mailing lists > Public > www-archive@w3.org > December 2002

Re: TEST: update

From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
Date: Wed, 18 Dec 2002 01:44:52 +0100
To: jjc@hpl.hp.com
Cc: connolly@w3.org, hendler@cs.umd.edu, www-archive@w3.org
Message-ID: <OF35A8EFEB.E63F9A52-ONC1256C93.0001BC87-C1256C93.00041BA1@agfa.be>


right now with Euler at http://www.agfa.com/w3c/euler/#R3277
using jena2 in http://www.agfa.com/w3c/euler/AskJena.java
and xerces2 in http://www.agfa.com/w3c/euler/Datatype.java
we can prove 37 out of the 54 testcases

<http://www.w3.org/2002/03owlt/allValuesFrom/Manifest001#test> P+
<http://www.w3.org/2002/03owlt/allValuesFrom/Manifest002#test> NP-
<http://www.w3.org/2002/03owlt/cardinality/Manifest001#test> NP+
<http://www.w3.org/2002/03owlt/cardinality/Manifest002#test> NP+
<http://www.w3.org/2002/03owlt/cardinality/Manifest003#test> NP+
<http://www.w3.org/2002/03owlt/cardinality/Manifest004#test> NP+
<http://www.w3.org/2002/03owlt/cardinality/Manifest005#test> NP+
<http://www.w3.org/2002/03owlt/cardinality/Manifest006#test> NP+
<http://www.w3.org/2002/03owlt/disjointWith/Manifest001#test> NP+
<http://www.w3.org/2002/03owlt/disjointWith/Manifest002#test> P+
<http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest001#test> P+
<http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest002#test> P+
<http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest003#test> P+
<http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest004#test> P+
<http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest005#test> NP+
<http://www.w3.org/2002/03owlt/I3.2/Manifest001> P+
<http://www.w3.org/2002/03owlt/I3.2/Manifest002> P+
<http://www.w3.org/2002/03owlt/I3.2/Manifest003> P+
<http://www.w3.org/2002/03owlt/I3.4/Manifest001> P+
<http://www.w3.org/2002/03owlt/I4.1/Manifest001> P+
<http://www.w3.org/2002/03owlt/I4.6/Manifest001#test> P+
<http://www.w3.org/2002/03owlt/I4.6/Manifest002#test> P+
<http://www.w3.org/2002/03owlt/I5.1/Manifest001#test> P+
<http://www.w3.org/2002/03owlt/I5.3/Manifest001#test> NP+
<http://www.w3.org/2002/03owlt/I5.3/Manifest002#test> NP+
<http://www.w3.org/2002/03owlt/I5.3/Manifest003#test> NP+
<http://www.w3.org/2002/03owlt/I5.3/Manifest004#test> NP+
<http://www.w3.org/2002/03owlt/I5.5/Manifest001#test> P+
<http://www.w3.org/2002/03owlt/I5.5/Manifest002#test> P+
<http://www.w3.org/2002/03owlt/I5.5/Manifest003#test> P+
<http://www.w3.org/2002/03owlt/I5.5/Manifest004#test> P+
<http://www.w3.org/2002/03owlt/I5.24/Manifest001#test> NP+
<http://www.w3.org/2002/03owlt/I5.24/Manifest002#test> NP+
<http://www.w3.org/2002/03owlt/I5.24/Manifest003#test> NP+
<http://www.w3.org/2002/03owlt/I5.24/Manifest004#test> NP+
<http://www.w3.org/2002/03owlt/imports/Manifest001#test> P+
<http://www.w3.org/2002/03owlt/imports/Manifest002#test> NP-
<http://www.w3.org/2002/03owlt/imports/Manifest003#test> P+
<http://www.w3.org/2002/03owlt/intersectionOf/Manifest001#test> P+
<http://www.w3.org/2002/03owlt/InverseFunctionalProperty/Manifest001#test>
P+
<http://www.w3.org/2002/03owlt/InverseFunctionalProperty/Manifest002#test>
P+
<http://www.w3.org/2002/03owlt/InverseFunctionalProperty/Manifest003#test>
P+
<http://www.w3.org/2002/03owlt/InverseFunctionalProperty/Manifest004#test>
P+
<http://www.w3.org/2002/03owlt/inverseOf/Manifest001#test> P+
<http://www.w3.org/2002/03owlt/maxCardinality/Manifest001#test> P+
<http://www.w3.org/2002/03owlt/maxCardinality/Manifest002#test> P+
<http://www.w3.org/2002/03owlt/Nothing/Manifest001#test> P+
<http://www.w3.org/2002/03owlt/Nothing/Manifest002#test> P+
<http://www.w3.org/2002/03owlt/sameClassAs/Manifest001#test> NP+
<http://www.w3.org/2002/03owlt/someValuesFrom/Manifest001#test> P+
<http://www.w3.org/2002/03owlt/someValuesFrom/Manifest002#test> NP-
<http://www.w3.org/2002/03owlt/TransitiveProperty/Manifest001#test> P+
<http://www.w3.org/2002/03owlt/unionOf/Manifest001#test> P+
<http://www.w3.org/2002/03owlt/unionOf/Manifest002#test> P+

but it can be better...

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Tuesday, 17 December 2002 19:45:34 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 7 November 2012 14:17:24 GMT