关键词: 模块提取, 边界, 推理, 解释, 描述逻辑

Abstract: Modularization is a very important technique that bears good promises of effective towards scalability in ontology reasoning as the complexity of reasoning is relevant to the volume of knowledge base.Driven by the great benefits，a novel module extraction method for reasoning tasks is proposed in this paper，boundary-based module is calculated in the method by analyzing the relationship between axioms and boundary for interpretation of symbols.The theory foundation for boundary-based module is established and it’s correct for reasoning task is proved.By comparing with the optimal module and signature-based module on realistic ontologies，boundary-based module is very close to the optimal module and suitable for optimizing ontology reasoning.

Key words: module extraction, boundary, reasoning, interpretation, description logics