Improving Reasoning on Large Ontologies via Ontology Modularity. - Jieying Chen 001; Johanna P. Haarseth; Christian M. Hansen; Martin G. Skjæveland; Arild Waaler (ISWC (Posters/Demos/Industry), 2023)