Frank Wolter Michael Zakharyaschev Dynamic Description Logics. 431-446 1998 conf/aiml/1998 Advances in Modal Logic db/conf/aiml/aiml1998.html#WolterZ98