Reasoning with OWL-DL in Inductive Logic Programming

The use of background knowledge and the adoption of Horn clausal logic as a knowledge representation and reasoning framework are the distinguishing features of Inductive Logic Programming (ILP) with respect to other approaches to concept learning. We argue that ILP can not ignore the latest developments in Knowledge Engineering such as ontologies and formalisms based on Description Logics. In this paper we present an experience with OWL-DL reasoners in ILP within the application context of the Semantic Web.

• Type: Conference
• Year: 2007
• Where: OWLED
• Authors: Francesca A. Lisi
• Keywords: Background Knowledge, Horn Clausal Logic, Inductive Logic Programming, Natural Language Processing, OWLED 2007