Finite Query Answering in Expressive Description Logics with Transitive Roles

Open in new window