Description Logic Terminology

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

Toggle side column

Description Logic Terminology

Franz BaaderFranz Baader
Description Logic Terminology


Franz Baader
Description Logic Terminology
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, 485-495. Cambridge University Press, 2003
  • KurzfassungAbstract
    The purpose of this appendix is to introduce (in a compact manner) the syntax and semantics of the most prominent DLs occurring in this handbook. More information and explanations as well as some less familiar DLs can be found in the respective chapters. For DL constructors whose semantics cannot be described in a compact manner, we will only introduce the syntax and refer the reader to the respective chapter for the semantics. Following Chapter~2 on Basic Description Logics, we will first introduce the basic DL AL, and then describe several of its extensions. Thereby, we will also fix the notation employed in this handbook.
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@incollection{ DLhandbookAppendix,
  author = {F. {Baader}},
  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 = {485--495},
  publisher = {Cambridge University Press},
  title = {Description Logic Terminology},
  year = {2003},
}