Browse wiki
From International Center for Computational Logic
This chapter provides an introduction to D … 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.ted in more detail in subsequent chapters. +
Franz Baader + and W. Nutt +
@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},
}
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},
}
Franz Baader and Diego Calvanese and Deborah McGuinness and Daniele Nardi and Peter F. Patel-Schneider +
Baader +
Franz +
Franz Baader, W. Nutt<br /> '''[[LATPub261|Basic Description Logics]]' … Franz Baader, W. Nutt<br /> '''[[LATPub261|Basic Description Logics]]''' <br>__NOTOC__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<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub261|Details]]ub261|Details]] +
Franz Baader, W. Nutt<br /> '''[[LATPub261/en|Basic Description Logics]]' … Franz Baader, W. Nutt<br /> '''[[LATPub261/en|Basic Description Logics]]''' <br>__NOTOC__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<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub261|Details]]ub261|Details]] +
Display title of"Display title of" is a predefined property that can assign a distinct display title to an entity and is provided by <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a>.
Basic Description Logics +
Modification date"Zuletzt geändert <span style="font-size:small;">(Modification date)</span>" is a predefined property that corresponds to the date of the last modification of a subject and is provided by <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a>.
25. März 2015, 14:34:04 +
Has query"Hat Abfrage <span style="font-size:small;">(Has query)</span>" is a predefined property that represents meta information (in form of a <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Subobject">subobject</a>) about individual queries and is provided by <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a>.
