Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles