Recent Advances in Unification for the EL Family

6 pages•Published: July 28, 2014

Franz Baader, Stefan Borgwardt and Barbara Morawska

Abstract

Unification 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.

Links:	https://easychair.org/publications/paper/T16
	https://doi.org/10.29007/q5px

BibTeX entry

@inproceedings{UNIF2012:Recent_Advances_Unification_EL,
  author    = {Franz Baader and Stefan Borgwardt and Barbara Morawska},
  title     = {Recent Advances in Unification for the EL Family},
  booktitle = {UNIF 2012 Post-Worskhop Proceedings. The 26th International  Workshop on Unification},
  editor    = {Santiago Escobar and Konstantin Korovin and Vladimir Rybakov},
  series    = {EPiC Series in Computing},
  volume    = {24},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/T16},
  doi       = {10.29007/q5px},
  pages     = {1-6},
  year      = {2014}}

Download PDF Open PDF in browser