In this paper we study mapping analysis in ontology-based data access (OBDA), providing an initial set of foundational results for this problem. We start by defining general, language-independent notions of mapping inconsistency, mapping subsumption, and mapping redundancy in OBDA. Then, we focus on specific mapping languages for OBDA and illustrate techniques for verifying the above properties of mappings.
Towards Mapping Analysis in Ontology-Based Data Access / Lembo, Domenico; José, Mora; Rosati, Riccardo; Savo, Domenico Fabio; Evgenij, Thorstensen. - 8741:(2014), pp. 108-123. (Intervento presentato al convegno Web Reasoning and Rule Systems tenutosi a Athens nel September 15-17, 2014) [10.1007/978-3-319-11113-1_8].
Towards Mapping Analysis in Ontology-Based Data Access
LEMBO, Domenico;ROSATI, Riccardo;SAVO, Domenico Fabio;
2014
Abstract
In this paper we study mapping analysis in ontology-based data access (OBDA), providing an initial set of foundational results for this problem. We start by defining general, language-independent notions of mapping inconsistency, mapping subsumption, and mapping redundancy in OBDA. Then, we focus on specific mapping languages for OBDA and illustrate techniques for verifying the above properties of mappings.| File | Dimensione | Formato | |
|---|---|---|---|
|
VE_2014_11573-645087.pdf
solo gestori archivio
Tipologia:
Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
267.24 kB
Formato
Adobe PDF
|
267.24 kB | Adobe PDF | Contatta l'autore |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
