This paper investigates a Description Logic, namely
, which extends
by adding transitive closure of roles. The resulting logic
allows transitive closure of roles to occur not only in concept inclusion axioms but also in role inclusion axioms. We show that
is decidable by devising a terminating, sound and complete algorithm for deciding satisfiability of concepts in
with respect to a set of concept and role inclusion axioms.