Glimm, B.; Kazakov, Y.; Tran, T.-K. Ontology Materialization by Abstraction Refinement in Horn SHOIF. AAAI 2017, 31.