Semantisches Browsen
Aus International Center for Computational Logic
Ontologies can be used to provide an enric … Ontologies can be used to provide an enriched vocabulary for the formulation of queries over instance data. We identify query emptiness and predicate emptiness as two central reasoning services in this context. Query emptiness asks whether a given query has an empty answer over all data sets formulated in a given signature. Predicate emptiness is defined analogously, but quantifies universally over all queries that contain a given predicate. In this paper, we determine the computational complexity of query emptiness and predicate emptiness in the EL, DL-Lite, and ALC-families of description logics, investigate the connection to ontology modules, and perform a practical case study to evaluate the new reasoning services.dy to evaluate the new reasoning services. +
@inproceedings{ BaaderBLW10,
author = {Franz {Baader} and Meghyn {Bienvenu} and Carsten {Lutz} and Frank {Wolter}},
booktitle = {Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning ({KR2010})},
editor = {Fangzhen {Lin} and Ulrike {Sattler}},
publisher = {AAAI Press},
title = {Query and Predicate Emptiness in Description Logics},
year = {2010},
}
author = {Franz {Baader} and Meghyn {Bienvenu} and Carsten {Lutz} and Frank {Wolter}},
booktitle = {Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning ({KR2010})},
editor = {Fangzhen {Lin} and Ulrike {Sattler}},
publisher = {AAAI Press},
title = {Query and Predicate Emptiness in Description Logics},
year = {2010},
}
Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning (KR2010) +
Baader +
Franz +
Franz Baader, Meghyn Bienvenu, Carsten Lut … Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter<br/> '''[[LATPub449|<b>Query and Predicate Emptiness in Description Logics</b>]]''' <br/>__NOTOC__In Fangzhen Lin and Ulrike Sattler, eds., <i>Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning (KR2010)</i>, 2010. AAAI Press<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub449|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:BaaderBLW10.pdf|Download]]:BaaderBLW10.pdf|Download]] +
Franz Baader, Meghyn Bienvenu, Carsten Lut … Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter<br/> '''[[LATPub449/en|<b>Query and Predicate Emptiness in Description Logics</b>]]''' <br/>__NOTOC__In Fangzhen Lin and Ulrike Sattler, eds., <i>Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning (KR2010)</i>, 2010. AAAI Press<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub449|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:BaaderBLW10.pdf|Download]]:BaaderBLW10.pdf|Download]] +
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.
Query and Predicate Emptiness in Description Logics +
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:06 +
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.
Query and Predicate Emptiness in Description Logics +, Query and Predicate Emptiness in Description Logics +, Query and Predicate Emptiness in Description Logics +, Query and Predicate Emptiness in Description Logics +, Query and Predicate Emptiness in Description Logics +, Query and Predicate Emptiness in Description Logics +, Query and Predicate Emptiness in Description Logics + und Query and Predicate Emptiness in Description Logics +
