Lecture notes for Description Logic, winter term 2012/2013