Liviu Badea, Shan-Hwei Nienhuys-Cheng. A Refinement Operator for Description Logics. In James Cussens, Alan M. Frisch, editors, Inductive Logic Programming, 10th International Conference, ILP 2000, London, UK, July 24-27, 2000, Proceedings. Volume 1866 of Lecture Notes in Computer Science, pages 40-59, Springer, 2000. [doi]
Abstract is missing.