Ontology Materialization by Abstraction Refinement in Horn SHOIF