J.  Lehmann and Hitzler, P., ?Concept learning in description logics using refinement operators?, Machine Learning, vol. 78, pp. 203?250, 2010.