Skip to main content
Kent Academic Repository

Exchanging Description Logic Knowledge Bases

Arenas, Marcelo, Botoeva, Elena, Calvanese, Diego, Ryzhikov, Vladislav, Sherkhonov, Evgeny (2012) Exchanging Description Logic Knowledge Bases. In: Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning. . pp. 563-567. Association for the Advancement of Artificial Intelligence ISBN 978-1-57735-560-1. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:91293)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided.
Official URL:
http://www.aaai.org/ocs/index.php/KR/KR12/paper/vi...

Abstract

In this paper, we study the problem of exchanging knowledge between a source and a target knowledge base (KB), connected through mappings. Differently from the traditional database exchange setting, which considers only the exchange of data, we are interested in exchanging implicit knowledge. As representation formalism we use Description Logics (DLs), thus assuming that the source and target KBs are given as a DL TBox+ABox, while the mappings have the form of DL TBox assertions. We study the problem of translating the knowledge in the source KB according to these mappings. We define a general framework of KB exchange, and address the problems of representing implicit source information in the target, and of computing different kinds of solutions, i.e., target KBs with specified properties, given a source KB and a mapping. We develop first results and study the complexity of KB exchange for DL-LiteRDFS, a DL corresponding to the FOL fragment of RDFS, and for DL-LiteR.

Item Type: Conference or workshop item (Proceeding)
Uncontrolled keywords: Information systems; Data management systems; Database design and models; Theory of computation; Logic
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Amy Boaler
Date Deposited: 03 Nov 2021 12:03 UTC
Last Modified: 10 Oct 2023 12:00 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/91293 (The current URI for this page, for reference purposes)

University of Kent Author Information

Botoeva, Elena.

Creator's ORCID:
CReDIT Contributor Roles:
  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.