“…To perform reasoning on a subontology with a smaller scale, the notion of a module, i.e., a property-preserving subontology, has been proposed. Module extraction has received much attention in recent years [9]- [11], [25]- [27]. Originally motivated by ontology reuse [28], [29], ontology modularity has been widely used in different areas, such as ontology matching [30] and debugging [31], forgetting [32], [33], or to improve reasoning [34].…”