| 基于描述逻辑的领域本体知识逻辑检测 |
| |
| 引用本文： | 朱利君,张友华,李绍稳,程波波,吉喆. 基于描述逻辑的领域本体知识逻辑检测[J]. 农业网络信息, 2008, 0(9) |
| |
| 作者姓名： | 朱利君 张友华 李绍稳 程波波 吉喆 |
| |
| 作者单位： | 安徽农业大学,信息与计算机学院,安徽,合肥,230036;安徽农业大学,信息与计算机学院,安徽,合肥,230036;安徽农业大学,信息与计算机学院,安徽,合肥,230036;安徽农业大学,信息与计算机学院,安徽,合肥,230036;安徽农业大学,信息与计算机学院,安徽,合肥,230036 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划) |
| |
| 摘 要： | 对本体库进行逻辑检测是本体构建的一个重要环节。基于描述逻辑的领域本体知识逻辑检测主要归结为判断概念关于TBox的可满足性以及判断ABox关于TBox的一致性。本文采用基于Tableaux算法的Pellet推理机对茶虫害本体库进行逻辑检测,验证了本体逻辑定义的有效性、完备性,为茶虫害本体的评价和二次开发以及后期应用奠定基础。
|
| 关 键 词： | 茶虫害本体 描述逻辑 Tableaux算法 Pellet推理机 逻辑检测 |
Logic checking of domain ontology knowledge based on description logics |
| |
| ZHU Li-jun,ZHANG You-hua,LI Shao-wen,CHENG Bo-bo,JI Zhe. Logic checking of domain ontology knowledge based on description logics[J]. Agriculture Network Information, 2008, 0(9) |
| |
| Authors: | ZHU Li-jun ZHANG You-hua LI Shao-wen CHENG Bo-bo JI Zhe |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
