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 (Extended Abstract) / Lembo, Domenico; Mora, José; Rosati, Riccardo; Savo, Domenico Fabio; Thorstensen, Evgenij. - ELETTRONICO. - 1350:(2015). (Intervento presentato al convegno 28th International Workshop on Description Logics tenutosi a Athens; Greece nel June 7-10, 2015).
Mapping Analysis in Ontology-based Data Access: Algorithms and Complexity (Extended Abstract)
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_Mapping-analysis_2015.pdf
accesso aperto
Tipologia:
Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza:
Creative commons
Dimensione
194.6 kB
Formato
Adobe PDF
|
194.6 kB | Adobe PDF |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
