Basic Description Logics

From International Center for Computational Logic

Toggle side column

Basic Description Logics

Franz BaaderFranz Baader,  W. NuttW. Nutt
Basic Description Logics


Franz Baader, W. Nutt
Basic 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, 43-95. Cambridge University Press, 2003
  • KurzfassungAbstract
    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.
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@incollection{ DLhandbookCh2,
  author = {F. {Baader} and W. {Nutt}},
  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 = {43--95},
  publisher = {Cambridge University Press},
  title = {Basic Description Logics},
  year = {2003},
}