Glimm, B., Kazakov, Y., & Tran, T.-K. (2017). Ontology Materialization by Abstraction Refinement in Horn SHOIF. Proceedings of the AAAI Conference on Artificial Intelligence, 31(1). https://doi.org/10.1609/aaai.v31i1.10691