cs.AIJun 23, 2026

Abstractions of Queries in Ontology-Based Data Access

Authors: Michel LeclèreMarie-Laure MugnierGuillaume Pérution-Kihli

Organizations: LIRMM, Inria, University of Montpellier, CNRS, Montpellier, France

Abstract

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.

Explore similar work

CardsList
  1. A Horn extension of DL-Lite with NL data complexity

    May 13, 2026Janos Arpasi, Bartosz Jan Bednarczyk, Magdalena OrtizOntologyComplex Query Answering