Using Description Logics to Maintain Consistency Between UML Models
R. Straeten, T. Mens, J. Simmonds, and V. Jonckers. UML 2003 - The Unified Modeling Language, volume 2863 of Lecture Notes in Computer Science, page 326--340. Springer-Verlag, (2003)