Reasoning in expressive Description Logics