ILP meets Knowledge Engineering: A Case Study