Bednarczyk, B., & Kieroński, E. (2022). Finite Entailment of Local Queries in the Z Family of Description Logics. Proceedings of the AAAI Conference on Artificial Intelligence, 36(5), 5487–5494. https://doi.org/10.1609/aaai.v36i5.20487