Jieying Chen, Ghadah Alghamdi, Renate A. Schmidt, Dirk Walther, Yongsheng Gao: Modularity Meets Forgetting: A Case Study with the SNOMED CT Ontology. Description Logics 2019