Minimal Coverage for Ontology Signatures

Geleta, David, Payne, Terry R ORCID: 0000-0002-0106-8731 and Tamma, Valentina ORCID: 0000-0002-1320-610X (2017) Minimal Coverage for Ontology Signatures. In: OWL: Experiences and Directions – Reasoner Evaluation. OWLED 2016.

Text owled-2016-crc.pdf - Author Accepted Manuscript Download (419kB)

Abstract

An ontology signature (set of entities) can express more than its constituent concept, role and individual names, since rewriting permits defined entities to be replaced by syntactically different, albeit semantically equivalent definitions. Identifying whether a given signature permits the definition of a particular entity is a well-understood problem, while determining the smallest (minimal) signature that covers a set of entities (i.e. a task signature) poses a challenge: the complete set of alternative definitions, or even just their signature, needs to be obtained, and all combinations of such definition signatures need to be explored, for each of the entities under consideration. In this paper, we present and empirically evaluate our novel approach for efficiently computing an approximation of minimal signature cover sets.

Item Type:	Conference or Workshop Item (Unspecified)
Depositing User:	Symplectic Admin
Date Deposited:	24 Mar 2017 14:48
Last Modified:	19 Jan 2023 07:09
DOI:	10.1007/978-3-319-54627-8_10
Related URLs:	Author Publisher
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3006618