A Refinement Operator Based Learning Algorithm for the ALC Description Logic
J. Lehmann, and P. Hitzler. Inductive Logic Programming, 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, volume 4894 of Lecture Notes in Computer Science, page 147--160. Springer, (2007)Best Student Paper Award.