Ulrike Sattler Diego Calvanese Ralf Molitor Relationships with other Formalisms. 137-177 2003 conf/dlog/2003handbook Description Logic Handbook db/conf/dlog/handbook2003.html#Sattler03