Query-based Comparison of Mappings in Ontology-based Data Access

Meghyn Bienvenu 1 Riccardo Rosati 2, 3
1 GRAPHIK - Graphs for Inferences on Knowledge
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : An ontology-based data access (OBDA) system is composed of one or more data sources, an ontology that provides a conceptual view of the data, and declarative mappings that relate the data and ontology schemas. In order to debug and optimize such systems, it is important to be able to analyze and compare OBDA specifications. Recent work in this direction compared specifications using classical notions of equivalence and entailment, but an interesting alternative is to consider query-based notions, in which two specifications are deemed equivalent if they give the same answers to the considered query or class of queries for all possible data sources. In this paper, we define such query-based notions of entailment and equivalence of OBDA specifications and investigate the complexity of the resulting analysis tasks when the ontology is formulated in (fragments of) DL-Lite_R.
Document type :
Conference papers
Complete list of metadatas

Cited literature [23 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01367812
Contributor : Meghyn Bienvenu <>
Submitted on : Friday, September 16, 2016 - 5:00:24 PM
Last modification on : Wednesday, March 13, 2019 - 5:22:02 PM
Long-term archiving on : Saturday, December 17, 2016 - 2:16:40 PM

File

BieRos-KR16-long.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : lirmm-01367812, version 1

Citation

Meghyn Bienvenu, Riccardo Rosati. Query-based Comparison of Mappings in Ontology-based Data Access. KR: Knowledge Representation and Reasoning, Apr 2016, Cape Town, South Africa. ⟨lirmm-01367812⟩

Share

Metrics

Record views

388

Files downloads

258