LATPub476: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
||
| Zeile 6: | Zeile 6: | ||
{{Inproceedings | {{Inproceedings | ||
|Referiert=1 | |Referiert=1 | ||
|Title=Computing Local Unifiers in the Description Logic | |Title=Computing Local Unifiers in the Description Logic EL without the Top Concept | ||
|Year=2011 | |Year=2011 | ||
|Month= | |Month= | ||
|Booktitle=Proceedings of the 25th International Workshop on Unification (UNIF'11) | |Booktitle=Proceedings of the 25th International Workshop on Unification (UNIF'11) | ||
|Editor=Franz | |Editor=Franz Baader and Barbara Morawska and Jan Otop | ||
|Note= | |Note= | ||
|Organization= | |Organization= | ||
|Pages=2 | |Pages=2-8 | ||
|Publisher= | |Publisher= | ||
|Series= | |Series= | ||
Version vom 20. März 2015, 16:28 Uhr
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},
}
