Implemented Description Logic-based Systems
Some implemented systems are listed here:
- BACK - A description logic implemented in PROLOG from the Technical University
- CLASSIC - A description logic from AT&T Laboratories implemented first in Lisp
and later in C and C++. It has aimed to balance expressive power and
computational complexity and is one of the less expressive implemented systems.
It is the basis of a number of configuration and data mining applications,
notibly PROSE from AT&T and Lucent and the Management Discovery Tool from NCR.
- CRACK - A highly expressive description logic from IRST. It is the
basis of over 100 natural language applications.
- FLEX - A description logic from the Technical University of Berlin.
It is the basis of a very large natural language application.
- K-REP - A description logic from IBM. It is the basis of a large
- KL-ONE - The original description logic-based system (earlier called
structured inheritance networks or terminological logics).
- KRIS - An expressive description logic originally from DFKI (the German
Institute for Artificial Intelligence).
- LOOM - A highly expressive description logic-based system from
University of California - Information Sciences Institute. It
is the basis of many applications funded by ARPA.
- YAK - A description logic-based system which was a predecessor to CRACK also from IRST in Italy.
Another list of
description logic systems
is reachable from the
description logic home page .
Updated 14 July 1998 by
Peter F. Patel-Schneider