Anti-Unification of Concepts in Description Logic EL



Konev, Boris ORCID: 0000-0002-6507-0494 and Kutsia, Temur
(2016) Anti-Unification of Concepts in Description Logic EL. In: 15th International Conference on Principles of Knowledge Representation and Reasoning, 2016-4-25 - 2016-4-29, Cape Town.

[img] Text
final.pdf - Unspecified
Access to this file is embargoed until Unspecified.

Download (314kB)

Abstract

We study anti-unification for the description logic EL and introduce the notion of least general generalisation, which generalises simultaneously least common subsumer and concept matching. The idea of generalisation of two concepts is to detect maximal similarities between them, and to abstract over their differences uniformly.We demonstrate that a finite minimal complete set of generalisations for EL concepts always exists and establish complexity bounds for computing them. We present an anti-unification algorithm that computes generalisations with a fixed skeleton, study its properties and report on preliminary experimental evaluation.

Item Type: Conference or Workshop Item (Unspecified)
Depositing User: Symplectic Admin
Date Deposited: 11 May 2016 15:56
Last Modified: 19 Jan 2023 07:37
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3000459