B. Glimm, Y. Kazakov, and T.-K. Tran, “Ontology Materialization by Abstraction Refinement in Horn SHOIF”, AAAI, vol. 31, no. 1, Feb. 2017.