Efficient Reasoning in EL^+
Aus International Center for Computational Logic
Efficient Reasoning in EL^+
Franz BaaderFranz Baader, Carsten LutzCarsten Lutz, B. SuntisrivarapornB. Suntisrivaraporn
Franz Baader, Carsten Lutz, B. Suntisrivaraporn
Efficient Reasoning in EL^+
Proceedings of the 2006 International Workshop on Description Logics (DL2006), CEUR-WS, 2006
Efficient Reasoning in EL^+
Proceedings of the 2006 International Workshop on Description Logics (DL2006), CEUR-WS, 2006
- Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@inproceedings{ BaaLutSun-DL-06,
author = {F. {Baader} and C. {Lutz} and B. {Suntisrivaraporn}},
booktitle = {Proceedings of the 2006 International Workshop on Description Logics ({DL2006})},
series = {CEUR-WS},
title = {Efficient Reasoning in $\mathcal{EL}^+$},
year = {2006},
}
