Browse wiki
From International Center for Computational Logic
In this chapter we will introduce descript … In this chapter we will introduce description logics, a family of logic-based knowledge representation languages that can be used to represent the terminological knowledge of an application domain in a structured way. We will first review their provenance and history, and show how the field has developed. We will then introduce the basic description logic ALC in some detail, including definitions of syntax, semantics and basic reasoning services, and describe important extensions such as inverse roles, number restrictions, and concrete domains. Next, we will discuss the relationship between description logics and other formalisms, in particular first order and modal logics; the most commonly used reasoning techniques, in particular tableaux, resolution and automata based techniques; and the computational complexity of basic reasoning problems. After reviewing some of the most prominent applications of description logics, in particular ontology language applications, we will conclude with an overview of other aspects of description logic research, and with pointers to the relevant literature. with pointers to the relevant literature. +
@incollection{ BaHS07,
author = {F. {Baader} and I. {Horrocks} and U. {Sattler}},
booktitle = {Handbook of Knowledge Representation},
editor = {Frank van {Harmelen} and Vladimir {Lifschitz} and Bruce {Porter}},
pages = {135--179},
publisher = {Elsevier},
title = {Description Logics},
year = {2007},
}
author = {F. {Baader} and I. {Horrocks} and U. {Sattler}},
booktitle = {Handbook of Knowledge Representation},
editor = {Frank van {Harmelen} and Vladimir {Lifschitz} and Bruce {Porter}},
pages = {135--179},
publisher = {Elsevier},
title = {Description Logics},
year = {2007},
}
Baader +
Franz +
Franz Baader, Ian Horrocks, Ulrike Sattler … Franz Baader, Ian Horrocks, Ulrike Sattler<br /> '''[[LATPub364|Description Logics]]''' <br>__NOTOC__In Frank van Harmelen and Vladimir Lifschitz and Bruce Porter, eds., ''Handbook of Knowledge Representation'', 135-179. Elsevier, 2007<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub364|Details]]b364|Details]] +
Franz Baader, Ian Horrocks, Ulrike Sattler … Franz Baader, Ian Horrocks, Ulrike Sattler<br /> '''[[LATPub364/en|Description Logics]]''' <br>__NOTOC__In Frank van Harmelen and Vladimir Lifschitz and Bruce Porter, eds., ''Handbook of Knowledge Representation'', 135-179. Elsevier, 2007<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub364|Details]]b364|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>.
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:05 +
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>.
