Konev, B., Kontchakov, R., Ludwig, M., Schneider, T., Wolter, F., & Zakharyaschev, M. (2011). Conjunctive Query Inseparability of OWL 2 QL TBoxes. Proceedings of the AAAI Conference on Artificial Intelligence, 25(1), 221-226. https://doi.org/10.1609/aaai.v25i1.7846