Reasoning−Supported Interactive Revision of Knowledge Bases - Nikitina, N; Rudolph, S; Glimm, B (Proceedings of the 24th International Workshop on Description Logics (DL2011), 2011)