本体是近年来信息技术领域的热门研究课题，它为不同的机器系统提供共享的语义。本体的建设，包括其开发和进化，是本体应用的基础。该领域的研究还不成熟，特别是没有足够强调本体在开发阶段的重用，并且本体进化的版本管理方法对大规模的本体实用性有限，以及缺乏全面的本体评价体系，因此目前的本体建设效率不高、本体产品的质量难以保证且难以维护。 模块化的认知方式和系统实现方法已经在软件工程、机械工程等诸多成熟工程领域取得巨大成功和广泛共识，它的优势包括可以封装实现细节、便于大规模重用、便于协同并行开发等。本论文创造性的把模块化引入本体的建设，有助于改善本体建设的实践。 作为讨论的基础，本论文首先详细说明了和本体模块化相关的基本概念，诸如本体模块、模块化本体、模块树、关系桥网等，提出模块化本体的形式化表示方法，包括兼容现有本体表示语言和本体编辑工具的OWL-MO本体以及新的模块化本体表示语言MOWL，并根据模块化本体的特征，提出可提高推理性能的二步式Tableaux机器自动算法。 在分析了现有本体工程方法论和本体开发半自动化方法的局限后，本论文提出了模块化本体工程和模块化本体开发的半自动方法。前者强调对本体模块的重用，并且为了提高本体模块的可重用性，提出了本体模块开发需遵循的原则；后者主要关注子领域的半自动分解以及重用本体模块的半自动选择，相应的提出了子领域半自动分解的方法以及支持在语义层面上半自动选择本体模块的MOMO元本体。 针对现有本体进化版本管理方法实用性不强的缺陷，本论文提出模块化本体的版本管理机制，该机制允许管理单个本体模块的版本及其兼容性，使得使用模块化本体的外部资源可以更有效的利用非常常见的本体局部后向兼容性，同时也使模块化本体具有比常规非模块化本体更强的进化能力。