We study the formal analysis of mappings in ontology-based data access (OBDA). Specifically, we focus on the problem of identifying mapping inconsistency and redundancy, two of the most important anomalies for mappings in OBDA. We consider a wide range of ontology languages that comprises OWL 2 and all its profiles, and examine mapping languages of different expressiveness over relational databases. We establish tight complexity bounds for the decision problems associated with mapping inconsistency and redundancy.
Mapping analysis in ontology-based data access: Algorithms and complexity (Discussion paper) / Lembo, Domenico; Mora, José; Rosati, Riccardo; Savo, Domenico Fabio; Thorstensen, Evgenij. - STAMPA. - (2015), pp. 335-342. (Intervento presentato al convegno 23rd Italian Symposium on Advanced Database Systems, SEBD 2015 tenutosi a Gaeta; Italy nel June 14-17, 2015).
Mapping analysis in ontology-based data access: Algorithms and complexity (Discussion paper)
LEMBO, Domenico
;ROSATI, Riccardo;SAVO, Domenico Fabio;
2015
Abstract
We study the formal analysis of mappings in ontology-based data access (OBDA). Specifically, we focus on the problem of identifying mapping inconsistency and redundancy, two of the most important anomalies for mappings in OBDA. We consider a wide range of ontology languages that comprises OWL 2 and all its profiles, and examine mapping languages of different expressiveness over relational databases. We establish tight complexity bounds for the decision problems associated with mapping inconsistency and redundancy.| File | Dimensione | Formato | |
|---|---|---|---|
|
Lembo_Frontespizio-indice_Mapping_2015.pdf
solo gestori archivio
Tipologia:
Altro materiale allegato
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
123.38 kB
Formato
Adobe PDF
|
123.38 kB | Adobe PDF | Contatta l'autore |
|
Lembo_postprint_Mapping_2015.pdf
accesso aperto
Tipologia:
Documento in Post-print (versione successiva alla peer review e accettata per la pubblicazione)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
387 kB
Formato
Adobe PDF
|
387 kB | Adobe PDF |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
