1. Tele-TASK – Teleteaching Anywhere Solution Kit,
http://www.tele-task.de
2. Web University project,
http://www.hpi.uni-potsdam.de/~meinel/research/web_university.html
3. Lecture Notes in Artificial Intelligence;F. Baader,2005
4. Baader, F., Küsters, R., Molitor, R.: Computing Least Common Subsumers in Description Logics with Existential Restrictions. In: Dean, T. (ed.) Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI’99), pp. 96–101. Morgan Kaufmann, San Francisco (1999)
5. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)