Is Tra table Reasoning in Extensions of the Des ription Logi EL Useful in Pra ti e ?