Mapping Data to Ontologies with Exceptions Using Answer Set Programming

07/07/2016
by   Daniel P. Lupp, et al.
0

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 ∃-ASP, an extension of ASP with existential variables that itself admits a natural reduction to ASP.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/19/2017

The Bag Semantics of Ontology-Based Data Access

Ontology-based data access (OBDA) is a popular approach for integrating ...
research
09/10/2022

Ontologizing Health Systems Data at Scale: Making Translational Discovery a Reality

Common data models solve many challenges of standardizing electronic hea...
research
03/09/2021

Ontology-based industrial data management platform

Relational and noSQL storages are developed for the fast processing of t...
research
06/09/2023

Query Rewriting with Disjunctive Existential Rules and Mappings

We consider the issue of answering unions of conjunctive queries (UCQs) ...
research
09/24/2013

Generating Explanations for Biomedical Queries

We introduce novel mathematical models and algorithms to generate (short...
research
03/05/2015

Mapping-equivalence and oid-equivalence of single-function object-creating conjunctive queries

Conjunctive database queries have been extended with a mechanism for obj...
research
08/08/2018

Relaxing and Restraining Queries for OBDA

In ontology-based data access (OBDA), ontologies have been successfully ...

Please sign up or login with your details

Forgot password? Click here to reset