W3C home > Mailing lists > Public > www-webont-wg@w3.org > June 2002

TEST: Pointer to CLASSIC testsuite

From: Deborah McGuinness <dlm@KSL.Stanford.EDU>
Date: Sat, 29 Jun 2002 12:49:42 -0700
Message-ID: <3D1E0F56.D0F73D0E@ksl.stanford.edu>
To: Webont <www-webont-wg@w3.org>
CC: jessicaj@KSL.Stanford.EDU

The test suite for CLASSIC (and NeoCLASSIC)
can be viewed from

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 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

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:56:45 UTC