Reasoning−Supported Interactive Revision of Knowledge Bases - Nikitina, N; Rudolph, S; Glimm, B (IJCAI/AAAI, 2011)