Basic description logics

  • Authors:

  • Franz Baader;Werner Nutt

  • Affiliations:

  • Institut für Theoretische Informatik, Fakultät Informatik, Tu Dresden, 01062 Dresden, Germany;Department of Computing and Electrical Engineering, Heriot-Watt University, Edinburgh, EH14 4AS, U.K.

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

Quantified Score

Hi-index 0.00

Visualization

Abstract

This chapter provides an introduction to Description Logics as a formal language for representing knowledge and reasoning about it. It first gives a short overview of the ideas underlying Description Logics. Then it introduces syntax and semantics, covering the basic constructors that are used in systems or have been introduced in the literature, and the way these constructors can be used to build knowledge bases. Finally, it defines the typical inference problems, shows how they are interrelated, and describes different approaches for effectively solving these problems. Some of the topics that are only briefly mentioned in this chapter will be treated in more detail in subsequent chapters.