Efficient Concept Induction for Description Logics