Haoruo Zhao

Avoiding Subsumption Tests During Classification Using the Atomic Decomposition

Bijan Parsia, Ulrike Sattler, Haoruo Zhao, 2019, Description Logics.

Modular Structures and Atomic Decomposition in Ontologies

Bijan Parsia, Ulrike Sattler, Matthew Horridge, 2020, J. Artif. Intell. Res..

ReAD: Delegate OWL Reasoners for Ontology Classification with Atomic Decomposition

Bijan Parsia, Haoruo Zhao, Ulrike Sattler, 2020, JOWO.

ReAD: AD-Based Modular Ontology Classification

Bijan Parsia, Ulrike Sattler, Haoruo Zhao, 2021, JELIA.