Concept learning in description logics using refinement operators