A Practical Approach for Computing Generalization Inferences in EL

Presented at: 8th Extended Semantic Web Conference (ESWC2011)

by Anni-Yasmin Turhan, Rafael PeƱaloza

We present methods that compute generalizations of concepts or individuals described in ontologies written in the Description Logic EL. These generalizations are the basis of methods for ontology design and are the core of concept similarity measures. The reasoning service least common subsumer (lcs) generalizes a set of concepts. Similarly, the most specific concept (msc) generalizes an individual into a concept description. For EL the lcs and the msc do not need to exist, if computed w.r.t. general EL-TBoxes. However, it is possible to find a concept description that is the lcs (msc) up to a certain role-depth. In this paper we present a practical approach for computing the role-depth bounded lcs and msc, based on the polynomial-time completion algorithm for EL and describe its implementation.

Keywords: Description logics, EL, generalization, least common subsumer, most specific concept, similarity measures

Resource URI on the dog food server: http://data.semanticweb.org/conference/eswc/2011/paper/reasoning/17

Explore this resource elsewhere: