Concept Formation in Expressive Description Logics