Download PDFOpen PDF in browserRecent Advances in Unification for the EL Family6 pages•Published: July 28, 2014AbstractUnification in description logics (DLs) has been proposed as a means to detect redundancies in ontologies. The DL EL, even though quite inexpressive, can be used to formulate large medical ontologies like SNOMED CT. Previously, several unification algorithms for EL were developed that can only deal with acyclic terminologies. In this paper, we give an overview over our recent efforts to generalize these algorithms to allow for general concept inclusions, transitive roles, and role hierarchies. For our new algorithms to be complete, the ontology needs to satisfy a certain cycle restriction.Keyphrases: computing unifiers, description logics, general concept inclusions, minimal unifiers, unification In: Santiago Escobar, Konstantin Korovin and Vladimir Rybakov (editors). UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification, vol 24, pages 1-6.
|