Finite Query Answering in Expressive Description Logics with Transitive Roles.

Tomasz Gogacz, Yazmn Anglica Ibez-Garca, Filip Murlak

Browse the full KR paper archive.