Benz, D. (2004), 'Description Logics - the logical foundation of the Semantic Web' , Technical report, Institute of Computer Science, University of Freiburg , Germany , Elaboration in the context of the Seminar "Semantic Web" by Prof. Lausen, winter term 03/04 .