Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates

Tomasz Gogacz, Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus. Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates. 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 434-444, 2020. [doi]

Authors

Tomasz Gogacz

This author has not been identified. Look up 'Tomasz Gogacz' in Google

Sanja Lukumbuzya

This author has not been identified. Look up 'Sanja Lukumbuzya' in Google

Magdalena Ortiz

This author has not been identified. Look up 'Magdalena Ortiz' in Google

Mantas Simkus

This author has not been identified. Look up 'Mantas Simkus' in Google