Browse wiki
From International Center for Computational Logic
Description Logics (DLs) are knowledge rep … Description Logics (DLs) are knowledge representation formalisms that provide, for example, the logical underpinning of the W3C OWL standards. Conjunctive queries (CQs), the standard query language in databases, have recently gained significant attention for querying DL knowledge bases. Several different techniques are available for a wide range of DLs. Nevertheless, for OWL DL and OWL 2, decidability of CQ entailment is an open problem. So far, the combination of nominals, inverse roles, and number restrictions caused unsolvable problems. We tackle this problem and present a decidability result for entailment of unions of CQs in a DL with all three problematic constructors. For queries with only simple roles, our result also shows decidability in the logic that underpins OWL DL and we believe that the presented results will pave the way for further progress towards CQ entailment decision procedures for OWL DL and OWL 2. decision procedures for OWL DL and OWL 2. +
Sebastian Rudolph + and Birte Glimm +
@inproceedings{GR2010,
author = {Birte Glimm and Sebastian Rudolph},
title = {Status {QIO:} Conjunctive Query Entailment is Decidable},
editor = {Fangzhen Lin and Ulrike Sattler and Miroslaw Truszczynski},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Twelfth International Conference (KR-10)},
publisher = {AAAI Press},
year = {2010},
month = {May},
pages = {225-235}
}
author = {Birte Glimm and Sebastian Rudolph},
title = {Status {QIO:} Conjunctive Query Entailment is Decidable},
editor = {Fangzhen Lin and Ulrike Sattler and Miroslaw Truszczynski},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Twelfth International Conference (KR-10)},
publisher = {AAAI Press},
year = {2010},
month = {May},
pages = {225-235}
}
Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR-10) +
Glimm +
Birte +
Birte Glimm, Sebastian Rudolph<br/> … Birte Glimm, Sebastian Rudolph<br/> '''[[Inproceedings3026|<b>Status QIO: Conjunctive Query Entailment is Decidable</b>]]''' <br/>__NOTOC__In Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski, eds., <i>Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR-10)</i>, 225-235, May 2010. AAAI Press<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings3026|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:GR-KR2010-CQ4OIQ.pdf|Download]]:GR-KR2010-CQ4OIQ.pdf|Download]] +
Birte Glimm, Sebastian Rudolph<br/> … Birte Glimm, Sebastian Rudolph<br/> '''[[Inproceedings3026/en|<b>Status QIO: Conjunctive Query Entailment is Decidable</b>]]''' <br/>__NOTOC__In Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski, eds., <i>Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR-10)</i>, 225-235, May 2010. AAAI Press<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings3026|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:GR-KR2010-CQ4OIQ.pdf|Download]]:GR-KR2010-CQ4OIQ.pdf|Download]] +
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>.
Status QIO: Conjunctive Query Entailment is Decidable +
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>.
28. Oktober 2014, 17:07:28 +
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>.
Status QIO: Conjunctive Query Entailment is Decidable +, Status QIO: Conjunctive Query Entailment is Decidable +, Status QIO: Conjunctive Query Entailment is Decidable +, Status QIO: Conjunctive Query Entailment is Decidable +, Status QIO: Conjunctive Query Entailment is Decidable + and Status QIO: Conjunctive Query Entailment is Decidable +
