Extensions to Description Logics

Franz BaaderFranz Baader, R KüstersR Küsters, Frank WolterFrank Wolter

Franz Baader, R Küsters, Frank Wolter
Extensions to Description Logics
In Franz Baader and Diego Calvanese and Deborah McGuinness and Daniele Nardi and Peter F. Patel-Schneider, eds., The Description Logic Handbook: Theory, Implementation, and Applications, 219-261. Cambridge University Press, 2003

Details
Bibtex

KurzfassungAbstract
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.
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@incollection{ DLhandbookCh6,
  author = {F. {Baader} and R {K{\"u}sters} and F. {Wolter}},
  booktitle = {The Description Logic Handbook: Theory, Implementation, and Applications},
  editor = {Franz {Baader} and Diego {Calvanese} and Deborah {McGuinness} and Daniele {Nardi} and Peter F. {Patel-Schneider}},
  pages = {219--261},
  publisher = {Cambridge University Press},
  title = {Extensions to Description Logics},
  year = {2003},
}