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