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.
Type de document :
Communication dans un congrès
KR: Knowledge Representation and Reasoning, Apr 2016, Cape Town, South Africa. 15th International Conference on Knowledge Representation and Reasoning, 2016
Liste complète des métadonnées

Littérature citée [23 références]  Voir  Masquer  Télécharger

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01367812
Contributeur : Meghyn Bienvenu <>
Soumis le : vendredi 16 septembre 2016 - 17:00:24
Dernière modification le : samedi 27 janvier 2018 - 01:32:12
Document(s) archivé(s) le : samedi 17 décembre 2016 - 14:16:40

Fichier

BieRos-KR16-long.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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. 15th International Conference on Knowledge Representation and Reasoning, 2016. 〈lirmm-01367812〉

Partager

Métriques

Consultations de la notice

147

Téléchargements de fichiers

134