Inproceedings2008: Unterschied zwischen den Versionen
Sru (Diskussion | Beiträge) |
Sru (Diskussion | Beiträge) |
||
| (Eine dazwischenliegende Version desselben Benutzers wird nicht angezeigt) | |||
| Zeile 15: | Zeile 15: | ||
|Publisher=CEUR Workshop Proceedings | |Publisher=CEUR Workshop Proceedings | ||
|Editor=Bernardo Cuenca-Grau, Ian Horrocks, Boris Motik, Ulrike Sattler | |Editor=Bernardo Cuenca-Grau, Ian Horrocks, Boris Motik, Ulrike Sattler | ||
| + | |Volume=477 | ||
}} | }} | ||
{{Publikation Details | {{Publikation Details | ||
|Abstract=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. | |Abstract=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. | ||
| + | |Download=http://ceur-ws.org/Vol-477/paper_6.pdf | ||
| + | |Link=http://ceur-ws.org/Vol-477/paper_6.pdf | ||
|Projekt=ReaSem | |Projekt=ReaSem | ||
|Forschungsgruppe=Wissensmanagement | |Forschungsgruppe=Wissensmanagement | ||
Aktuelle Version vom 28. Februar 2010, 16:17 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: Bernardo Cuenca-Grau, Ian Horrocks, Boris Motik, Ulrike Sattler
Buchtitel: Proceedings of the DL Workshop 2009, Oxford, UK
Ausgabe: 477
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.
Download: Media:http://ceur-ws.org/Vol-477/paper_6.pdf
Weitere Informationen unter: Link
Wissensrepräsentation, Wissensrepräsentationssprachen, Beschreibungslogik, Entscheidbarketisprobleme, Modelltheorie, Logik, Theoretische Informatik