Jean Christoph Jung, Carsten Lutz, Thomas Zeume. On the Decidability of Expressive Description Logics with Transitive Closure and Regular Role Expressions. In Diego Calvanese, Esra Erdem 0001, Michael Thielscher, editors, Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020. pages 529-538, 2020. [doi]
@inproceedings{JungLZ20,
title = {On the Decidability of Expressive Description Logics with Transitive Closure and Regular Role Expressions},
author = {Jean Christoph Jung and Carsten Lutz and Thomas Zeume},
year = {2020},
doi = {10.24963/kr.2020/53},
url = {https://doi.org/10.24963/kr.2020/53},
researchr = {https://researchr.org/publication/JungLZ20},
cites = {0},
citedby = {0},
pages = {529-538},
booktitle = {Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020},
editor = {Diego Calvanese and Esra Erdem 0001 and Michael Thielscher},
isbn = {978-0-9992411-7-2},
}