Decidability of Description Logics with Transitive Closure of Roles in Concept and Role Inclusion Axioms