- 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
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 UTC