Inconsistency-Tolerant Ontology-Based Data Access Revisited: Taking Mappings into Account
Inconsistency-Tolerant Ontology-Based Data Access Revisited: Taking Mappings into Account
Meghyn Bienvenu
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence
Main track. Pages 1721-1729.
https://doi.org/10.24963/ijcai.2018/238
Inconsistency-tolerant query answering in the presence of ontologies has received considerable attention in recent years. However, existing work assumes that the data is expressed using the vocabulary of the ontology and is therefore not directly applicable to ontology-based data access (OBDA), where relational data is connected to the ontology via mappings. This motivates us to revisit existing results in the wider context of OBDA with mappings. After formalizing the problem, we perform a detailed analysis of the data complexity of inconsistency-tolerant OBDA for ontologies formulated in DL-Lite and other data-tractable description logics, considering three different semantics (AR, IAR, and brave), two notions of repairs (subset and symmetric difference), and two classes of global-as-view (GAV) mappings. We show that adding plain GAV mappings does not affect data complexity, but there is a jump in complexity if mappings with negated atoms are considered.
Keywords:
Knowledge Representation and Reasoning: Description Logics and Ontologies
Knowledge Representation and Reasoning: Computational Complexity of Reasoning
Multidisciplinary Topics and Applications: Databases