A Framework for Reasoning about Dynamic Axioms in Description Logics | Publicación