摘要：随着Web技术的快速发展和本体在计算机领域的广泛应用,本体的构建和维护必须达到更高水平,传统的从零开始构建本体的方式已经不能满足高质量大规模本体构建的要求。目前,国内外许多学者都致力于解决此问题,所用的具体方法不尽相同,但都认为本体模块的抽取和重用是大规模本体构建和维护的关键。目前,较流行的本体模块抽取算法几乎都是使用结构化方法遍历类的层次,忽略本体的语义信息；同时,实用的本体重用技术大多是重用整个本体,而不是本体模块,且不考虑重用的安全性。为了克服这些缺点,本文提出了逻辑的方法充分利用本体语义信息,从大规模本体中抽取相关模块；同时,提出了安全的本体模块重用模型。本文的主要研究工作和创新点：(1)在研究描述逻辑理论和保守扩展标准的基础上,根据Grau BC等人提出的SHo10本地性规则,本文给出SH1F对应的SEMLOC规则和SYNLOC规则。证明SEMLOC规则是本体模块抽取的充分条件；使用描述逻辑的Tableau算法进行推理,证明SEMLOC规则的正确性和可判定性;再推理证明满足易处理的SYNLOC规则公理必定也满足SEMLOC。最后,给出本地性规则对应的模块抽取算法—SYNLMX算法,举例描述算法的过程,分析复杂度,并实验实现模块抽取算法。(2)针对目前重用整个本体导致的累赘问题以及不安全重用引起的不一致,本文证明了本地性规则是本体安全重用的充分条件；并提出了一种本体模块安全重用模型——LOCMR模型。