Computing Local Unifiers in the Description Logic EL without the Top Concept

Franz BaaderFranz Baader, Nguyen Thanh BinhNguyen Thanh Binh, Stefan BorgwardtStefan Borgwardt, Barbara MorawskaBarbara Morawska

Download

Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska
Computing Local Unifiers in the Description Logic EL without the Top Concept
In Franz Baader and Barbara Morawska and Jan Otop, eds., Proceedings of the 25th International Workshop on Unification (UNIF'11), 2-8, 2011

Details
Bibtex

Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@inproceedings{ BBBM-UNIF11,
  address = {Wroc{\l}aw, Poland},
  author = {Franz {Baader} and Nguyen Thanh {Binh} and Stefan {Borgwardt} and Barbara {Morawska}},
  booktitle = {Proceedings of the 25th International Workshop on Unification (UNIF'11)},
  editor = {Franz {Baader} and Barbara {Morawska} and Jan {Otop}},
  pages = {2--8},
  title = {Computing Local Unifiers in the Description Logic {$\mathcal{EL}$} without the Top Concept},
  year = {2011},
}