- From: Deborah McGuinness <dlm@KSL.Stanford.EDU>
- Date: Sat, 29 Jun 2002 12:49:42 -0700
- To: Webont <www-webont-wg@w3.org>
- CC: jessicaj@KSL.Stanford.EDU
The test suite for CLASSIC (and NeoCLASSIC) can be viewed from http://www-ksl-svc.stanford.edu:5915/doc/people/jenkins/classic/index.html In that listing, you can see the tar file as well as a listing of the untarred files including a readme, make file, etc. The test suite was attempting to be a regression test suite - providing small description logic descriptions and then posing a query in a test language that also posed the correct answer and then checked to see if the returning answer matched the expected answer. The goal was to test all of the inference rules implemented by the Lisp CLASSIC description logic implementation a while ago. (Lisp CLASSIC was more expressive than C-CLASSIC thus this test suite was the most complete of any that made sense for any version of CLASSIC). An attempt was made to check the "normal" positive implications of the inference rule and also to look for possible "likely" problems. Thus, for things like cardinality rules, sample tests were done on individuals with incoherent bounds restrictions problems, etc. It could be useful for OWL since CLASSIC had many of the constructors found in OWL and thus while a translation of it would not cover all of OWL, it would cover a significant portion of it. Disclaimer, these files have not been kept up to date and it was developed no later than 1995. Deborah -- Deborah L. McGuinness Knowledge Systems Laboratory Gates Computer Science Building, 2A Room 241 Stanford University, Stanford, CA 94305-9020 email: dlm@ksl.stanford.edu URL: http://ksl.stanford.edu/people/dlm (voice) 650 723 9770 (stanford fax) 650 725 5850 (computer fax) 801 705 0941
Received on Sunday, 30 June 2002 01:38:03 UTC