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}, }