dc.date.accessioned | 2017-10-12T07:38:29Z | |
dc.date.available | 2017-10-12T07:38:29Z | |
dc.date.created | 2016-02-03T16:41:56Z | |
dc.date.issued | 2015 | |
dc.identifier.citation | Lembo, Domenico Mora, Jose Rosati, Riccardo Savo, Domenico Fabio Thorstensen, Evgenij . Mapping analysis in ontology-based data access: Algorithms and complexity. Lecture Notes in Computer Science. 2015, 9366, 217-234 | |
dc.identifier.uri | http://hdl.handle.net/10852/58749 | |
dc.description.abstract | Ontology-based data access (OBDA) is a recent paradigm for accessing data sources through an ontology that acts as a conceptual, integrated view of the data, and declarative mappings that connect the ontology to the data sources. We study the formal analysis of mappings in 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 provide algorithms and establish tight complexity bounds for the decision problems associated with mapping inconsistency and redundancy. Our results prove that, in our general framework, such forms of mapping analysis enjoy nice computational properties, in the sense that they are not harder than standard reasoning tasks over the ontology or over the relational database schema.
The final publication is available at link.springer.com via http://dx.doi.org/10.1007/978-3-319-25007-6_13 | en_US |
dc.language | EN | |
dc.language.iso | en | en_US |
dc.publisher | Springer Verlag | |
dc.title | Mapping analysis in ontology-based data access: Algorithms and complexity | en_US |
dc.type | Journal article | en_US |
dc.creator.author | Lembo, Domenico | |
dc.creator.author | Mora, Jose | |
dc.creator.author | Rosati, Riccardo | |
dc.creator.author | Savo, Domenico Fabio | |
dc.creator.author | Thorstensen, Evgenij | |
cristin.unitcode | 185,15,5,37 | |
cristin.unitname | Forskningsgruppen for logikk og intelligente data | |
cristin.ispublished | true | |
cristin.fulltext | postprint | |
cristin.qualitycode | 1 | |
dc.identifier.cristin | 1331732 | |
dc.identifier.bibliographiccitation | info:ofi/fmt:kev:mtx:ctx&ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.jtitle=Lecture Notes in Computer Science&rft.volume=9366&rft.spage=217&rft.date=2015 | |
dc.identifier.jtitle | Lecture Notes in Computer Science | |
dc.identifier.volume | 9366 | |
dc.identifier.startpage | 217 | |
dc.identifier.endpage | 234 | |
dc.identifier.doi | http://dx.doi.org/10.1007/978-3-319-25007-6_13 | |
dc.identifier.urn | URN:NBN:no-61647 | |
dc.type.document | Tidsskriftartikkel | en_US |
dc.type.peerreviewed | Peer reviewed | |
dc.source.issn | 0302-9743 | |
dc.identifier.fulltext | Fulltext https://www.duo.uio.no/bitstream/handle/10852/58749/1/a2110251ee6e30d4ceaf7ebe4d5d8572c344.pdf | |
dc.type.version | AcceptedVersion | |