Exchanging OWL 2 QL knowledge bases

Authors:
Marcelo Arenas;Elena Botoeva;Diego Calvanese;Vladislav Ryzhikov
Affiliations:
PUC Chile & Univ. of Oxford, UK;Free U. of Bolzano, Italy;Free U. of Bolzano, Italy & TU Vienna, Austria;Free U. of Bolzano, Italy
Venue:
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Year:
2013

Citing 19
Cited 0

Data integration: a theoretical perspective

Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Reasoning about The Past with Two-Way Automata

ICALP '98 Proceedings of the 25th International Colloquium on Automata, Languages and Programming
Mapping data in peer-to-peer systems: semantics and algorithmic issues

Proceedings of the 2003 ACM SIGMOD international conference on Management of data
Schema mappings, data exchange, and metadata management

Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Data exchange: semantics and query answering

Theoretical Computer Science - Database theory
Peer data exchange

ACM Transactions on Database Systems (TODS)
Ontology Matching

Ontology Matching
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family

Journal of Automated Reasoning
Composing mappings among data sources

VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
Towards a theory of schema-mapping optimization

Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Logical foundations of relational data exchange

ACM SIGMOD Record
Clio: Schema Mapping Creation and Data Exchange

Conceptual Modeling: Foundations and Applications
Distributed reasoning in a peer-to-peer setting: application to the semantic web

Journal of Artificial Intelligence Research
The DL-lite family and relations

Journal of Artificial Intelligence Research
Composition and inversion of schema mappings

ACM SIGMOD Record
Data exchange beyond complete data

Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Local transformations and conjunctive-query equivalence

PODS '12 Proceedings of the 31st symposium on Principles of Database Systems
Ontology Matching: State of the Art and Future Challenges

IEEE Transactions on Knowledge and Data Engineering
Relaxed Notions of Schema Mapping Equivalence Revisited

Theory of Computing Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Knowledge base exchange is an important problem in the area of data exchange and knowledge representation, where one is interested in exchanging information between a source and a target knowledge base connected through a mapping. In this paper, we study this fundamental problem for knowledge bases and mappings expressed in OWL2 QL, the profile of OWL2 based on the description logic DL-LiteR. More specifically, we consider the problem of computing universal solutions, identified as one of the most desirable translations to be materialized, and the problem of computing UCQ-representations, which optimally capture in a target TBox the information that can be extracted from a source TBox and a mapping by means of unions of conjunctive queries. For the former we provide a novel automata-theoretic technique, and complexity results that range from NP to EXPTIME, while for the latter we show NLOGSPACE-completeness.