Haoruo Zhao, Bijan Parsia, Uli Sattler: ReAD: Delegate OWL Reasoners for Ontology Classification with Atomic Decomposition. JOWO 2020