Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access

Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access

Charalampos Nikolaou, Bernardo Cuenca Grau, Egor V. Kostylev, Mark Kaminski, Ian Horrocks

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence
Main track. Pages 1829-1835. https://doi.org/10.24963/ijcai.2019/253

We extend ontology-based data access with integrity constraints over both the source and target schemas. The relevant reasoning problems in this setting are constraint satisfaction—to check whether a database satisfies the target constraints given the mappings and the ontology—and source-to-target (resp., target-to-source) constraint implication, which is to check whether a target constraint (resp., a source constraint) is satisfied by each database satisfying the source constraints (resp., the target constraints). We establish decidability and complexity bounds for all these problems in the case where ontologies are expressed in DL-LiteR and constraints range from functional dependencies to disjunctive tuple-generating dependencies.
Keywords:
Knowledge Representation and Reasoning: Description Logics and Ontologies
Knowledge Representation and Reasoning: Computational Complexity of Reasoning
Multidisciplinary Topics and Applications: Intelligent Database Systems