Exploiting Description Logic Reasoners in Inductive Logic Programming Systems: An Experience within the Semantic Web Area

In spite of the increasing effort spent on building ontologies for the Semantic Web, little attention has been paid to the impact of these ontologies on knowledge-based intelligent systems such as Inductive Logic Programming (ILP) systems which were not conceived for dealing with DL knowledge bases. In this paper, we describe an extension of the ILP system AL-QuIn to deal with a background knowledge in the form of OWL DL ontology. The extension consists of a preprocessing of the ontology that mainly relies on the services of the DL reasoner Pellet.