Liang Chang, Zhongzhi Shi, Lirong Qiu, Fen Lin: Dynamic Description Logic: Embracing Actions into Description Logic. Description Logics 2007