Description Logic Terminology
Aus International Center for Computational Logic
Description Logic Terminology
Franz BaaderFranz Baader
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
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},
}
