Stage-oe-small.jpg

Inproceedings3025: Unterschied zwischen den Versionen

Aus Aifbportal
Wechseln zu:Navigation, Suche
(Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorNachname=Ortiz |ErsterAutorVorname=Magdalena }} {{Publikation Author |Rank=2 |Author=Sebastian Rudolph }} {{Publikation Aut…“)
 
Zeile 18: Zeile 18:
 
|Booktitle=Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference
 
|Booktitle=Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference
 
|Publisher=AAAI Press
 
|Publisher=AAAI Press
 +
|Note=to appear
 
}}
 
}}
 
{{Publikation Details
 
{{Publikation Details

Version vom 22. Januar 2010, 16:53 Uhr


Status QIO: Conjunctive Query Entailment is Decidable


Status QIO: Conjunctive Query Entailment is Decidable



Published: 2010 Mai

Buchtitel: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference
Verlag: AAAI Press

Referierte Veröffentlichung
Note: to appear

BibTeX

Kurzfassung
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.


Projekt

ExpresSTReaSem



Forschungsgruppe

Wissensmanagement


Forschungsgebiet

Beschreibungslogik, Komplexitätstheorie, Logik, Logikprogrammierung