On Ontologies as Prior Conceptual Knowledge in Inductive Logic Programming

In this paper we consider the problem of having ontologies as prior conceptual knowledge in Inductive Logic Programming (ILP). In particular, we take a critical look at three ILP proposals based on knowledge representation frameworks that integrate Description Logics and Horn Clausal Logic. From the comparative analysis of the three, we draw general conclusions that can be considered as guidelines for an upcoming Onto-Relational Learning aimed at extending Relational Learning to account for ontologies.