面向模块重用的描述逻辑()本地性规则研究

摘要：

可重用本体模块的抽取是本体重用的一个关键环节.与传统工程应用中使用的基于本体层次的结构化方法抽取本体模块相比,使用逻辑的方法能充分利用本体提供的语义信息,抽取的本体模块更具完整性和正确性.在研究保守扩展的本体模块理论基础上,根据Grau B C提出的()本地性规则,提出并证明了描述逻辑()对应的语义本地性规则和句法本地性规则,为基于该规则抽取可重用本体模块提供了理论基础.

关键词：本体重用、模块抽取、描述逻辑()、语义本地性、句法本地性

所属期刊栏目：42

分类号：TP391(计算技术、计算机技术)

资助基金：国家自然科学基金面上项目61379110;中南大学教师研究基金

在线出版日期：2015-02-06（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：249-252