Toman, D., & Weddell, G. (2022). First Order Rewritability in Ontology-Mediated Querying in Horn Description Logics. Proceedings of the AAAI Conference on Artificial Intelligence, 36(5), 5897-5905. https://doi.org/10.1609/aaai.v36i5.20534