Text this: Reasoning−Supported Interactive Revision of Knowledge Bases