Extensions to description logics

  • Authors:

  • Franz Baader;Ralf Küsters;Frank Wolter

  • Affiliations:

  • Institut für Theoretische Informatik, Fakultät Informatik, TU Dresden, 01062 Dresden, Germany;Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel, Olshausenstraße 40, 24098 Kiel, Germany;Institut für Informatik, Universität Leipzig, Augustus-Platz 10-11, 04109 Leipig, Germany

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

Quantified Score

Hi-index 0.00

Visualization

Abstract

This chapter considers, on the one hand, extensions of Description Logics by features not available in the basic framework, but considered important for using Description Logics as a modeling language. In particular, it addresses the extensions concerning: concrete domain constraints; modal, epistemic, and temporal operators; probabilities and fuzzy logic; and defaults.On the other hand, it considers non-standard inference problems for Description Logics, i.e., inference problems that - unlike subsumption or instance checking - are not available in all systems, but have turned out to be useful in applications. In particular, it addresses the non-standard inference problems: least common subsumer and most specific concept; unification and matching of concepts; and rewriting.