Implemented Description Logic-based Systems

• BACK - A description logic implemented in PROLOG from the Technical University of Berlin.
• 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 medical application.
• 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 .