Document Type

Conference Proceeding

Publication Date



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.


Presented at the 17th International Conference on Inductive Logic Programming, Corvallis, OR, June 19-21, 2007.

Attached is the unpublished, authors' version of this proceeding. The final, publisher's version can be at