Description logic systems

  • Authors:

  • Ralf Möller;Volker Haarslev

  • Affiliations:

  • Computer Science Department, University of Hamburg, Vogt-Kölln-Straße 30, 22527 Hamburg, Germany;Computer Science Department, Concordia University, 1455 de Maisonneuve Blvd. W., Montreal, Quebec H3G 1M8, Canada

  • Venue:
  • The description logic handbook
  • Year:
  • 2003

Quantified Score

Hi-index 0.00

Visualization

Abstract

This chapter discusses implemented DL systems that have played or play an important role in the field. It first presents several earlier systems that, although not based on Description Logics, have provided important ideas. These systems include KL-ONE, KRYPTON, NIKL, and KANDOR. Then, successor systems are described by classifying them along the characteristics discussed in the previous chapters, addressing the following systems: CLASSIC ("almost" complete, fast); BACK, LOOM (expressive, incomplete); KRIS, CRACK (expressive, complete). Finally, a new optimized generation of very expressive but sound and complete DL systems is also introduced. In particular, we focus on the systems DLP, FaCT, and RACER and explain what they can and cannot do.