Zhang, Heng, et al. “Towards Universal Languages for Tractable Ontology Mediated Query Answering”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 34, no. 03, Apr. 2020, pp. 3049-56, doi:10.1609/aaai.v34i03.5699.