Ontology Materialization by Abstraction Refinement in Horn SHOIF.

Birte Glimm, Yevgeny Kazakov, Trung-Kien Tran

Browse the full AAAI paper archive.