B Cate Ten

B Glimm

BC Grau

C Rosse

C Vescovo Del

E Hoogland

E Sirin

EW Beth

F Baader

F Scharffe

J David

J Euzenat

K Donnelly

M Horridge

N Matentzoglu

U Sattler

David Geleta

Terry R. Payne

Valentina Tamma

Crossref

An Investigation of Definability in Ontology Alignment

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

Geleta, D

Payne, TR

Tamma, V

University of Liverpool Repository

An Investigation of Definability in Ontology Alignment

Abstract

Similar works

Full text

Available Versions

Crossref

University of Liverpool Repository