Jens Lehmann, Christoph Haase. Ideal Downward Refinement in the ::::EL::::/mathcal{EL} Description Logic. In Luc De Raedt, editor, Inductive Logic Programming, 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papers. Volume 5989 of Lecture Notes in Computer Science, pages 73-87, Springer, 2009. [doi]
Abstract is missing.