@inproceedings{ijcai2019p238, title = {On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles}, author = {Gogacz, Tomasz and Gutiérrez-Basulto, Víctor and Ibáñez-García, Yazmín and Jung, Jean Christoph and Murlak, Filip}, booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, {IJCAI-19}}, publisher = {International Joint Conferences on Artificial Intelligence Organization}, pages = {1719--1725}, year = {2019}, month = {7}, doi = {10.24963/ijcai.2019/238}, url = {https://doi.org/10.24963/ijcai.2019/238}, }