An Investigation of Definability in Ontology Alignment

Geleta, D, Payne, TR ORCID: 0000-0002-0106-8731 and Tamma, V ORCID: 0000-0002-1320-610X (2016) An Investigation of Definability in Ontology Alignment. In: 20th International Conference on Knowledge Engineering and Knowledge Management, 2016-10-19 - 2016-11-23, Bologna.

Text ekaw-2016-crc-geleta.pdf - Author Accepted Manuscript Download (706kB)

Abstract

The ability to rewrite defined ontological entities into syntactically different, but semantically equivalent forms is an important property of Definability. While rewriting has been extensively studied, the practical applicability of currently existing methods is limited, as they are bounded to particular Description Logics (DLs), and they often present only theoretical results. Moreover, these efforts focus on computing single definitions, whereas the ability to find the complete set of alternatives, or even just their signature, can support ontology alignment, and semantic interoperability in general. As the number of possible rewritings is potentially exponential in the size of the ontology, we present a novel approach that provides a comprehensive and efficient way to compute in practice all definition signatures of the feasible (given pre-defined complexity bounds) defined entities described using a DL language for which a particular definability property holds (Beth definability). This paper assesses the prevalence, extent and merits of definability over large and diverse corpora, and lays the basis for its use in ontology alignment.

Item Type:	Conference or Workshop Item (Unspecified)
Uncontrolled Keywords:	Networking and Information Technology R&D (NITRD)
Depositing User:	Symplectic Admin
Date Deposited:	18 Oct 2016 14:32
Last Modified:	15 Mar 2024 09:43
DOI:	10.1007/978-3-319-49004-5_17
Related URLs:	Author Publisher
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3003832