Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmin Ibáñez-García, Jean Christoph Jung, Filip Murlak. On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles. In Sarit Kraus, editor, Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019. pages 1719-1725, ijcai.org, 2019. [doi]
@inproceedings{GogaczGIJM19-0,
title = {On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles},
author = {Tomasz Gogacz and Víctor Gutiérrez-Basulto and Yazmin Ibáñez-García and Jean Christoph Jung and Filip Murlak},
year = {2019},
doi = {10.24963/ijcai.2019/238},
url = {https://doi.org/10.24963/ijcai.2019/238},
researchr = {https://researchr.org/publication/GogaczGIJM19-0},
cites = {0},
citedby = {0},
pages = {1719-1725},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019},
editor = {Sarit Kraus},
publisher = {ijcai.org},
}