ILP meets Knowledge Engineering: a case study