Eiter, Thomas, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, and Guohui Xiao. 2021. “Query Rewriting for Horn-SHIQ Plus Rules”. Proceedings of the AAAI Conference on Artificial Intelligence 26 (1):726-33. https://doi.org/10.1609/aaai.v26i1.8219.