Ralf Möller Volker Haarslev Description Logic Systems. 282-305 2003 conf/dlog/2003handbook Description Logic Handbook db/conf/dlog/handbook2003.html#MollerH03