Decision Procedures for Expressive Description Logics with Intersection, Composition, Converse of Roles and Role Identity