T. Eiter, M. Ortiz, M. Simkus, T.-K. Tran, and G. Xiao, “Query Rewriting for Horn-SHIQ Plus Rules”, AAAI, vol. 26, no. 1, pp. 726-733, Sep. 2021.