Skip to main content

Generalized Consistent Query Answering under Existential Rules

Thomas Eiter‚ Thomas Lukasiewicz and Livia Predoiu

Abstract

Previous work has proposed consistent query answering as a way to resolve inconsistencies in ontologies. In these approaches to consistent query answering, however, only inconsistencies due to errors in the underlying database are considered. In this paper, we additionally assume that ontological axioms may be erroneous, and that some database atoms and ontological axioms may not be removed to resolve inconsistencies. This problem is especially well suited in debugging mappings between distributed ontologies. We define two different semantics, one where ontological axioms as a whole are ignored to resolve an inconsistency, and one where only some of their instances are ignored. We then give a precise picture of the complexity of consistent query answering under these two semantics when ontological axioms are encoded as different classes of existential rules. In the course of this, we also close two open complexity problems in standard consistent query answering under existential rules.

Book Title
Proceedings of the 15th International Conference on the Principles of Knowledge Representation and Reasoning‚ KR 2016‚ Cape Town‚ South Africa‚ April 25−29‚ 2016
Editor
James P. Delgrande and Frank Wolter
Month
April
Pages
359−368
Publisher
AAAI Press
Year
2016