Building Rules on top of Ontologies? Inductive Logic Programming can help!