Computing Local Unifiers in the Description Logic EL without the Top Concept
Aus International Center for Computational Logic
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
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
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
- 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},
}
