Recent Advances in Unification for the EL Family

Franz BaaderFranz Baader, Stefan BorgwardtStefan Borgwardt, Barbara MorawskaBarbara Morawska

Download

Franz Baader, Stefan Borgwardt, Barbara Morawska
Recent Advances in Unification for the EL Family
In Santiago Escobar and Konstantin Korovin and Vladimir Rybakov, eds., Proceedings of the 26th International Workshop on Unification (UNIF'12), 2012

Details
Bibtex

KurzfassungAbstract
Unification in Description Logics (DLs) has been proposed as an inference service that can, for example, be used to detect redundancies in ontologies. For the DL EL, which is used to define several large biomedical ontologies, unification is NP-complete. Several algorithms that solve unification in EL have previously been presented. In this paper, we summarize recent extensions of these algorithms that can deal with general concept inclusion axioms (GCIs), role hierarchies(H), and transitive roles (R+). For the algorithms to be complete, however, the ontology consisting of the GCIs and role axioms needs to satisfy a certain cycle restriction.
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@inproceedings{ BaBM-UNIF12,
  address = {Manchester, UK},
  author = {Franz {Baader} and Stefan {Borgwardt} and Barbara {Morawska}},
  booktitle = {Proceedings of the 26th International Workshop on Unification (UNIF'12)},
  editor = {Santiago {Escobar} and Konstantin {Korovin} and Vladimir {Rybakov}},
  title = {Recent Advances in Unification for the {$\mathcal{EL}$} Family},
  year = {2012},
}