Text this: Concept learning in description logics using refinement operators.