Contributions to Proceedings:
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",
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.
Electronic version of the publication:
Project Head Stefan Woltran:
Created from the Publication Database of the Vienna University of Technology.