[Zurück]


Beiträge in Tagungsbänden:

T. Lukasiewicz, M. Martinez, A. Pieris, G. Simari:
"From Classical to Consistent Query Answering under Existential Rules";
in: "Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence", AAAI Press, 2015, ISBN: 978-1-57735-698-1, S. 1546 - 1552.



Kurzfassung englisch:
Querying inconsistent ontologies is an intriguing new problem that gave rise to a flourishing research activity in the description logic (DL) community. The computational complexity of consistent query answering under the main DLs is rather well understood; however, little is known about existential rules. The goal of the current work is to perform an in-depth analysis of the complexity of consistent query answering under the main decidable classes of existential rules enriched with negative constraints. Our investigation focuses on one of the most prominent inconsistency-tolerant semantics, namely, the AR semantics. We establish a generic complexity result, which demonstrates the tight connection between classical and consistent query answering. This result allows us to obtain in a uniform way a relatively complete picture of the complexity of our problem.


Elektronische Version der Publikation:
http://www.aaai.org/ocs/index.php/AAAI/AAAI15/paper/view/9817



Zugeordnete Projekte:
Projektleitung Stefan Woltran:
START


Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.