Zhang, H.; Zhang, Y.; You, J.-H.; Feng, Z.; Jiang, G. Towards Universal Languages for Tractable Ontology Mediated Query Answering. AAAI 2020, 34, 3049-3056.