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