@InProceedings{BaLuSu-DL-2006, author = {F. Baader and C. Lutz and B. Suntisrivaraporn}, title = {Efficient Reasoning in $\mathcal{EL}{+}$}, booktitle = {Proceedings of the 2006 International Workshop on Description Logics ({DL'06})}, year = {2006}, volume = {189}, series = {CEUR-WS}, }