Zhang, Heng, Yan Zhang, Jia-Huai You, Zhiyong Feng, and Guifei Jiang. 2020. “Towards Universal Languages for Tractable Ontology Mediated Query Answering”. Proceedings of the AAAI Conference on Artificial Intelligence 34 (03):3049-56. https://doi.org/10.1609/aaai.v34i03.5699.