Tomasz Gogacz, Yazmin Angélica Ibáñez-García, Filip Murlak. Finite Query Answering in Expressive Description Logics with Transitive Roles. In Michael Thielscher, Francesca Toni, Frank Wolter, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018. pages 369-378, AAAI Press, 2018. [doi]
@inproceedings{GogaczIM18,
title = {Finite Query Answering in Expressive Description Logics with Transitive Roles},
author = {Tomasz Gogacz and Yazmin Angélica Ibáñez-García and Filip Murlak},
year = {2018},
url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18062},
researchr = {https://researchr.org/publication/GogaczIM18},
cites = {0},
citedby = {0},
pages = {369-378},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018},
editor = {Michael Thielscher and Francesca Toni and Frank Wolter},
publisher = {AAAI Press},
isbn = {978-1-57735-803-9},
}