【摘要】近年来,本体模块化研究受到研究者的普遍关注。本文全面综述了本体模块化研究的最新进展,包括本体模块化特征、形式化描述语言及构建与选取方法。在形式化描述方面,主要研究成果有分布式描述逻辑、ε-连接及基于包的描述逻辑,比较分析了它们的特点和关联,讨论了有待进一步解决的问题。在构建和选取方面,介绍了模块化设计模式、模块化划分与抽取方法的最新研究成果。