W3C home > Mailing lists > Public > www-webont-wg@w3.org > July 2003

More OWL test passers

From: Jim Hendler <hendler@cs.umd.edu>
Date: Thu, 17 Jul 2003 12:40:36 -0400
Message-Id: <p05200f52bb3c807b66d7@[10.0.1.3]>
To: Dan Connolly <connolly@w3.org>
Cc: webont <www-webont-wg@w3.org>
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 ***
Received on Thursday, 17 July 2003 12:40:40 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:58:01 GMT