Query Answering in Description Logics with Transitive Roles

Open in new window