1 research outputs found

    Reasoning with OWL-DL in Inductive Logic Programming

    No full text
    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
    corecore