On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles.

Tomasz Gogacz, Vctor Gutirrez-Basulto, Yazmn Ibez-Garca, Jean Christoph Jung, Filip Murlak

Browse the full IJCAI paper archive.