Finite Query Answering in Expressive Description Logics with Transitive Roles