Eiter, T., Ortiz, M., Simkus, M., Tran, T.-K., & Xiao, G. (2021). Query Rewriting for Horn-SHIQ Plus Rules. Proceedings of the AAAI Conference on Artificial Intelligence, 26(1), 726-733. https://doi.org/10.1609/aaai.v26i1.8219