Hybrid Unification in the Description Logic EL

@inproceedings{Baader2013HybridUI,
  title={Hybrid Unification in the Description Logic EL},
  author={Franz Baader and Oliver Fernandez Gil and Barbara Morawska},
  booktitle={UNIF@RTA/TLCA},
  year={2013}
}
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. However, the unification algorithms for EL developed until recently could not deal with ontologies containing general concept inclusions (GCIs). In a series of recent papers we have made some progress towards addressing this problem, but the… CONTINUE READING