A Dynamic Description Logic for UML. - Ming Li; Fengkui Zang (JCAI, 2009)