Ragnhild Van Der Straeten Jocelyn Simmonds Tom Mens Detecting Inconsistencies between UML Models Using Description Logic. 2003 conf/dlog/2003 Description Logics http://SunSITE.Informatik.RWTH-Aachen.de/Publications/CEUR-WS/Vol-81/vanderstraeten.pdf db/conf/dlog/dlog2003.html#StraetenSM03