- 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