Skip to main content

Knowledge base exchange: The case of OWL 2 QL

Arenas, Marcelo, Botoeva, Elena, Calvanese, Diego, Ryzhikov, Vladislav (2016) Knowledge base exchange: The case of OWL 2 QL. Artificial Intelligence, 238 . pp. 11-62. ISSN 0004-3702. (doi:10.1016/j.artint.2016.05.002) (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:90811)

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. (Contact us about this Publication)
Official URL
https://doi.org/10.1016/j.artint.2016.05.002

Abstract

In this article, we define and 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 define a general framework of KB exchange, and study the problem of translating the knowledge in the source KB according to the mappings expressed in OWL 2 QL, the profile of the standard Web Ontology Language OWL 2 based on the description logic DL-LiteR . We develop novel game- and automata-theoretic techniques, and we provide complexity results that range from NLogSpace to ExpTime.

Item Type: Article
DOI/Identification number: 10.1016/j.artint.2016.05.002
Uncontrolled keywords: Description logic; Knowledge exchange; DL-Lite; Data exchange; Query inseparability
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 75 Electronic computers. Computer science
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Amy Boaler
Date Deposited: 12 Oct 2021 09:12 UTC
Last Modified: 13 Oct 2021 10:41 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/90811 (The current URI for this page, for reference purposes)
  • Depositors only (login required):