- From: Jim Hendler <hendler@cs.umd.edu>
- Date: Thu, 3 Jul 2003 08:39:30 -0400
- To: webont <www-webont-wg@w3.org>
I'm not actually sure what our current practice is on moving test
cases from proposed to approved, but my group is developing several
different OWL reasoners one in prolog (OWLlet), one in Lisp (OWL
Lisa) and one in Java (PELLET). These are now all starting to pass
tests, and PELLET has passed several of the proposed consistency
tests:
>http://www.w3.org/2002/03owlt/miscellaneous/consistent102
>http://www.w3.org/2002/03owlt/miscellaneous/consistent103
>http://www.w3.org/2002/03owlt/miscellaneous/consistent201
>http://www.w3.org/2002/03owlt/miscellaneous/consistent303
>http://www.w3.org/2002/03owlt/description-logic/consistent503
>http://www.w3.org/2002/03owlt/I5.2/consistent003
>http://www.w3.org/2002/03owlt/I5.2/consistent010
>http://www.w3.org/2002/03owlt/I5.2/consistent011
>http://www.w3.org/2002/03owlt/I5.3/consistent011
I would therefore suggest we add these to the queue of proposed tests
that should become approved.
-JH
p.s. Note that the third test above (consistent201) has a set of
classes that have nothing in them except rdfs:labels that include
xml:lang tags. I'm not sure, based on recent email about RDF and
xml:lang as to whether these are still legal, and whether, as the
labels are not explicitely tagged to be annotations, this is actually
in Lite. Jeremy, you might want to check this one
--
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, 3 July 2003 08:39:33 UTC