Mapping Data to Ontologies with Exceptions Using Answer Set Programming
Daniel P. Lupp, Evgenij Thorstensen

TL;DR
This paper presents an ASP-based framework for mapping relational databases to ontologies, capable of expressing constraints and exceptions, with algorithms for reasoning and complexity analysis.
Contribution
It introduces a novel ASP-based approach for OBDA mappings that handle exceptions and constraints, with complexity and reduction results.
Findings
Mapping programs can express constraints and exceptions effectively.
Reasoning complexity is NP-complete, matching ASP complexity.
Reductions to SP enable practical reasoning for certain ontologies.
Abstract
In ontology-based data access, databases are connected to an ontology via mappings from queries over the database to queries over the ontology. In this paper, we consider mappings from relational databases to first-order ontologies, and define an ASP-based framework for GLAV mappings with queries over the ontology in the mapping rule bodies. We show that this type of mappings can be used to express constraints and exceptions, as well as being a powerful mechanism for succinctly representing OBDA mappings. We give an algorithm for brave reasoning in this setting, and show that this problem has either the same data complexity as ASP (NP- complete), or it is at least as hard as the complexity of checking entailment for the ontology queries. Furthermore, we show that for ontologies with UCQ-rewritable queries there exists a natural reduction from mapping programs to \exists-ASP, an…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, Reasoning, and Knowledge · Multi-Agent Systems and Negotiation · Semantic Web and Ontologies
