Inproceedings2008: Unterschied zwischen den Versionen
K (Added from ontology) |
K (Added from ontology) |
||
Zeile 1: | Zeile 1: | ||
+ | {{Publikation Erster Autor | ||
+ | |ErsterAutorNachname=Glimm | ||
+ | |ErsterAutorVorname=Birte | ||
+ | }} | ||
{{Publikation Author | {{Publikation Author | ||
|Rank=2 | |Rank=2 | ||
|Author=Sebastian Rudolph | |Author=Sebastian Rudolph | ||
− | |||
− | |||
− | |||
− | |||
}} | }} | ||
{{Inproceedings | {{Inproceedings | ||
Zeile 24: | Zeile 24: | ||
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
− | |Forschungsgebiet= | + | |Forschungsgebiet=Logik |
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
− | |Forschungsgebiet= | + | |Forschungsgebiet=Wissensrepräsentation |
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
− | |Forschungsgebiet= | + | |Forschungsgebiet=Modelltheorie |
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
− | |Forschungsgebiet= | + | |Forschungsgebiet=Entscheidbarketisprobleme |
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
− | |Forschungsgebiet= | + | |Forschungsgebiet=Theoretische Informatik |
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
− | |Forschungsgebiet= | + | |Forschungsgebiet=Beschreibungslogik |
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
− | |Forschungsgebiet= | + | |Forschungsgebiet=Wissensrepräsentationssprachen |
}} | }} |
Version vom 8. September 2009, 10:58 Uhr
Conjunctive Query Entailment: Decidable in Spite of O, I, and Q
Conjunctive Query Entailment: Decidable in Spite of O, I, and Q
Published: 2009
Juli
Herausgeber: Ian Horrocks, Bernardo Cuenca-Grau, Boris Motik
Buchtitel: Proceedings of the DL Workshop 2009, Oxford, UK
Verlag: CEUR Workshop Proceedings
Referierte Veröffentlichung
BibTeX
Kurzfassung
In this paper, we present a decidability result for entailment of conjunctive queries (CQs) in the very expressive Description Logic (DL) ALCHOIQb by establishing nite representability of countermodels in case the query given as input is not entailed. Our results also generalize to unions of conjunctive queries, and to SHOIQ and SROIQ provided the query contains only simple roles.
Wissensrepräsentation, Wissensrepräsentationssprachen, Beschreibungslogik, Entscheidbarketisprobleme, Modelltheorie, Logik, Theoretische Informatik