Guided Inductive Logic Programming: Cleaning Knowledge Bases with Iterative User Feedback. | AMiner