Search papers, labs, and topics across Lattice.
This paper investigates query abstraction in ontology-based data access (OBDA) using existential rules and certain answer semantics, focusing on translating data queries to the ontology layer. The authors introduce the concepts of minimally complete and maximally sound abstractions to address the limitations of perfect abstractions, demonstrating that their proposed extension of union of conjunctive queries (UCQs) can express these abstractions without increasing computational complexity. Key findings reveal a new connection between maximally sound abstractions and maximum recovery in data exchange, enhancing the understanding of query processing in OBDA systems.
Minimally complete abstractions can be expressed in OBDA without increasing complexity, revealing new insights into query processing.
In ontology-based data access (OBDA), multiple data sources are integrated via mappings to an ontology. We consider an OBDA setting based on existential rules and the certain answer semantics. We address the recent issue of query abstraction, which consists of abstracting data queries by translating them to the ontology layer. Since a perfect abstraction may not exist, the notions of minimally complete and maximally sound abstractions have been introduced. We study abstractions within an extension of UCQs with a limited form of inequality and a special predicate marking database constants. While this extension does not lead to an increased complexity of the problems of interest, it is able to express minimally complete abstractions, hence perfect abstractions when they exist. We also characterize maximally sound abstractions by making a new connection with the notion of maximum recovery stemming from data exchange.
