Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Description logics (DLs) are a family of lDescription logics (DLs) are a family of logical formalisms that have initially been designed for the representation of conceptual knowledge in artificial intelligence and are closely related to modal logics. In the last two decades, DLs have been successfully applied in a wide range of interesting application areas. In most of these applications, it is important to equip DLs with expressive means that allow to describe ``concrete qualities'' of real-world objects such as their weight, temperature, and spatial extension. The standard approach is to augment description logics with so-called concrete domains, which consist of a set (say, the rational numbers), and a set of n-ary predicates with a fixed extension over this set. The ``interface'' between the DL and the concrete domain is then provided by a new logical constructor that has, to the best of our knowledge, no counterpart in modal logics. In this paper, we give an overview over description logics with concrete domains and summarize decidability and complexity results from the literature.nd complexity results from the literature.  +
@inproceedings{ Lutz-AiML4,
  author = {C. {Lutz}},
  booktitle = {Advances in Modal Logics Volume 4},
  publisher = {World Scientific Publishing Co.\ Pte.\ Ltd.},
  title = {Description Logics with Concrete Domains---A Survey},
  year = {2003},
}
Inproceedings  +
Advances in Modal Logics Volume 4  +
Lutz-AiML4.ps.gz  +
Carsten Lutz<br/> '''[[LATPub249|<b>Description Logics with Concrete Domains—A Survey</b>]]''Carsten Lutz<br/> '''[[LATPub249|<b>Description Logics with Concrete Domains—A Survey</b>]]''' <br/>__NOTOC__<i>Advances in Modal Logics Volume 4</i>, 2003. World Scientific Publishing Co. Pte. Ltd.<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub249|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:Lutz-AiML4.ps.gz|Download]]dia:Lutz-AiML4.ps.gz|Download]]  +
Carsten Lutz<br/> '''[[LATPub249/en|<b>Description Logics with Concrete Domains—A Survey</b>]]''Carsten Lutz<br/> '''[[LATPub249/en|<b>Description Logics with Concrete Domains—A Survey</b>]]''' <br/>__NOTOC__<i>Advances in Modal Logics Volume 4</i>, 2003. World Scientific Publishing Co. Pte. Ltd.<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub249|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:Lutz-AiML4.ps.gz|Download]]dia:Lutz-AiML4.ps.gz|Download]]  +
World Scientific Publishing Co. Pte. Ltd.  +
Description Logics with Concrete Domains—A Survey  +
inproceedings  +
2003  +
Anzeigetitel„Anzeigetitel <span style="font-size:small;">(Display title of)</span>“ ist ein softwareseitig fest definiertes Attribut, das einen eindeutigen Anzeigetitel zu einem Objekt speichert und ihm zuweist. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
Description Logics with Concrete Domains—A Survey  +
Zuletzt geändert„Zuletzt geändert <span style="font-size:small;">(Modification date)</span>“ ist ein softwareseitig fest definiertes Attribut, das das Datum der letzten Änderung einer Seite speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
25. März 2015, 14:34:04  +
Hat Abfrage„Hat Abfrage <span style="font-size:small;">(Has query)</span>“ ist ein softwareseitig fest definiertes Attribut, das die Metainformationen einer Abfrage als <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Subobject">Subobjekt</a> speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.