Eiter, T.; Ortiz, M.; Simkus, M.; Tran, T.-K.; Xiao, G. Query Rewriting for Horn-SHIQ Plus Rules. AAAI 2021, 26, 726-733.