Re: More OWL test passers

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 Thursday, 17 July 2003 14:24:23 UTC