B. Konev, R. Kontchakov, M. Ludwig, T. Schneider, F. Wolter, and M. Zakharyaschev, “Conjunctive Query Inseparability of OWL 2 QL TBoxes”, AAAI, vol. 25, no. 1, pp. 221-226, Aug. 2011.