- From: Jos De_Roo <jos.deroo@agfa.com>
- Date: Fri, 18 Jul 2003 15:44:24 +0200
- To: "Dan Connolly <connolly" <connolly@w3.org>
- Cc: Jim Hendler <hendler@cs.umd.edu>, webont <www-webont-wg@w3.org>
Dan - I did my tests again as I realized that some tests maybe hadn't had enough time to run (the step count was limited to 200000, which is half a second or so) and now with a limit in the range of halve a minute per test we have 64 tests that pass (instead of the 51). -- Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/ PS combined with PELLET that would be well over 150 I guess Dan Connolly <connolly@w3.org> To: Jim Hendler <hendler@cs.umd.edu> Sent by: cc: webont <www-webont-wg@w3.org> www-webont-wg-req Subject: Re: More OWL test passers uest@w3.org 2003-07-17 08:24 PM http://www.w3.org/2001/sw/WebOnt/rqim.html $Revision: 1.19 $ of $Date: 2003/07/17 18:20:54 $ incorporates this feedback... On Thu, 2003-07-17 at 11:40, Jim Hendler wrote: > The PELLET OWL Lite Engine (Univ of Md) keeps a list of how it does at > http://www.mindswap.org/2003/pellet/test.shtml > Cyrrently it passes 79 approved tests and 21 proposed tests. > Pellet (which we hope will somday stand for "passes every little Lite > Entailment Test") is an OWL reasoner implemented from scratch based on > our spec and papers which have appeared in the DL and KR conferences. > > The OWLLisaKB system is a LISP-based OWL Lite using a rule-based > approach. The results for this system are at > http://www.mindswap.org/~katz/2003/07/passed-testcases.html > it currently only passes 7 tests, but we expect a lot more during the > CR period > > -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-277-3388 (Cell) > http://www.cs.umd.edu/users/hendler *** NOTE CHANGED CELL NUMBER > *** -- Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Friday, 18 July 2003 09:48:20 UTC