An Investigation of Definability in Ontology Alignment

Conference paper

DOI: 10.1007/978-3-319-49004-5_17

Part of the Lecture Notes in Computer Science book series (LNCS, volume 10024)
Cite this paper as:
Geleta D., Payne T.R., Tamma V. (2016) An Investigation of Definability in Ontology Alignment. In: Blomqvist E., Ciancarini P., Poggi F., Vitali F. (eds) Knowledge Engineering and Knowledge Management. EKAW 2016. Lecture Notes in Computer Science, vol 10024. Springer, Cham


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.

Copyright information

© Springer International Publishing AG 2016

Authors and Affiliations

  • David Geleta
    • 1
  • Terry R. Payne
    • 1
  • Valentina Tamma
    • 1
  1. 1.Department of Computer ScienceUniversity of LiverpoolLiverpoolUK

Personalised recommendations