Query rewriting for Horn-SHIQ plus rules (2012)

by T Eiter, M Ortiz, M Šimkus, T-K Tran, G Xiao
Venue:In Proc. of the 26th AAAI Conf. on Artificial Intelligence (AAAI