本体在信息处理领域有着非常重要的作用。在过去的几年里,本体和本体论技术取得了巨大的发展,如基因本体已经发展到可以跨多个不同的医疗信息系统实现互操作,其提供了标准的术语和概念,从而实现了多个应用程序之间数据的轻松传输和交互。然而,随着语义网的快速发展,本体异构问题就显得尤为突出,传统的本体构建方法面临着严峻的考验。　　 为了克服网络本体异构问题,本文将软件工程中模块化的思想引入本体知识库的构建过程中。模块化在本体的设计,维护和集成等方面非常重要,如本体的协同开发,不同本体的集成。模块化本体更容易实现本体的推理、扩展和重用。不幸的是,相对于其他学科,如软件工程中模块化是一个完善的概念,但模块化本体构建工程仍缺乏一个统一的、标准的模块化构建方法。针对这些问题,在基于分布式描述逻辑的基础上,本文尝试探索本体模块化方法,重点研究了模块化本体的形式化描述和模块化本体推理技术。　　 首先,本文对目前本体形式化描述语言进行简要的介绍,分析了目前主流本体构建语言的优缺点,重点对模块化本体构建语言的语法特征需求、语义特征需求进行详细的研究,同时对当前比较流行的模块化本体构建语言DDL、E-connections、P-DL进行了详细的分析,选定DDL作为模块化本体的形式化描述语言,对其语法、语义进行详细的阐述。　　 其次,本文对模块化本体构建框架进行了研究。文章分别对模块化本体的体系结构、模块化本体模块间的映射约束、以及模块化本体推理技术进行了深入研究。　　 基于以上研究,本文采用DRAGO(Distributed Reasoning Architecture for a Galaxy ofOntologies)推理系统对模块化本体构建方法进行尝试性探索,并结合目前现有本体,对本构建方法的有效性进行了验证,更确切的说,就是通过实验重点验证本方法推理的有效性。　　 最后,对本论文进行总结,讨论与本课题相关工作,对本理论研究前景进行展望。