Extensions to Description Logics

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Extensions to Description Logics

Franz BaaderFranz Baader,  R KüstersR Küsters,  Frank WolterFrank Wolter
Extensions to Description Logics


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
  • 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},
}