A refinement operator based learning algorithm for the ALC description logic

  • Authors:
  • Jens Lehmann;Pascal Hitzler

  • Affiliations:
  • Universität Leipzig, Department of Computer Science, Leipzig, Germany;Universität Karlsruhe (TH), AIFB Institute, Karlsruhe, Germany

  • Venue:
  • ILP'07 Proceedings of the 17th international conference on Inductive logic programming
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

With the advent of the Semantic Web, description logics have become one of the most prominent paradigms for knowledge representation and reasoning. Progress in research and applications, however, faces a bottleneck due to the lack of available knowledge bases, and it is paramount that suitable automated methods for their acquisition will be developed. In this paper, we provide the first learning algorithm based on refinement operators for the most fundamental description logic ALC. We develop the algorithm from thorough theoretical foundations and report on a prototype implementation.