Skip to main content

Representability in DL-Lite_R Knowledge Base Exchange

Arenas, Marcelo, Botoeva, Elena, Calvanese, Diego, Ryzhikov, Vladislav, Sherkhonov, Evgeny (2012) Representability in DL-Lite_R Knowledge Base Exchange. In: CEUR Workshop Proceedings. Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012. 846. (KAR id:91308)

PDF Publisher pdf
Language: English

Download (417kB) Preview
[thumbnail of paper_60.pdf]
This file may not be suitable for users of assistive technology.
Request an accessible format
Official URL


Knowledge base exchange can be considered as a generalization of data exchange in which the aim is to exchange between a source and a target connected through mappings, not only explicit knowledge, i.e., data, but also implicit knowledge in the form of axioms. Such problem has been investigated recently using Description Logics (DLs) as representation formalism, 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. In this paper we are interested in the problem of representing a given source TBox by means of a target TBox that captures at best the intensional information in the source. In previous work, results on representability have been obtained for DL-LiteRDFS , a DL corresponding to the FOL fragment of RDFS. We extend these results to the positive fragment of DLLiteR, in which, differently from DL-LiteRDFS , the assertions in the TBox and the mappings may introduce existentially implied individuals. For this we need to overcome the challenge that the chase, a key notion in data and knowledge base exchange, is not guaranteed anymore to be finite.

Item Type: Conference or workshop item (Proceeding)
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 15:44 UTC
Last Modified: 16 Nov 2021 10:27 UTC
Resource URI: (The current URI for this page, for reference purposes)
  • Depositors only (login required):