Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates
Bibtex record
@inproceedings{KR2020-44,
title = {{Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates}},
author = {Gogacz, Tomasz and Lukumbuzya, Sanja and Ortiz, Magdalena and Šimkus, Mantas},
booktitle = {{Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning}},
pages = {434--444},
year = {2020},
month = {9},
doi = {10.24963/kr.2020/44},
url = {https://doi.org/10.24963/kr.2020/44},
}