面向模块重用的描述逻辑()本地性规则研究 |
| |
引用本文: | 徐德智,廖晖寰,徐连君.面向模块重用的描述逻辑()本地性规则研究[J].计算机科学,2015,42(1). |
| |
作者姓名: | 徐德智 廖晖寰 徐连君 |
| |
作者单位: | 中南大学信息科学与工程学院 长沙410083 |
| |
基金项目: | 国家自然科学基金面上项目,中南大学教师研究基金 |
| |
摘 要: | 可重用本体模块的抽取是本体重用的一个关键环节.与传统工程应用中使用的基于本体层次的结构化方法抽取本体模块相比,使用逻辑的方法能充分利用本体提供的语义信息,抽取的本体模块更具完整性和正确性.在研究保守扩展的本体模块理论基础上,根据Grau B C提出的()本地性规则,提出并证明了描述逻辑()对应的语义本地性规则和句法本地性规则,为基于该规则抽取可重用本体模块提供了理论基础.
|
关 键 词: | 本体重用 模块抽取 描述逻辑() 语义本地性 句法本地性 |
本文献已被 万方数据 等数据库收录! |
|