基于描述逻辑的领域本体知识逻辑检测

摘要：

对本体库进行逻辑检测是本体构建的一个重要环节.基于描述逻辑的领域本体知识逻辑检测主要归结为判断概念关于TBox的可满足性以及判断ABox关于TBox的一致性.本文采用基于Tableaux算法的Pellet推理机对茶虫害本体库进行逻辑检测,验证了本体逻辑定义的有效性、完备性,为茶虫害本体的评价和二次开发以及后期应用奠定基础.

关键词：茶虫害本体、描述逻辑、Tableaux算法、Pellet推理机、逻辑检测

分类号：S126(农业物理学)

资助基金：中国高技术研究发展863计划20060110Z2041

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

页数：共4页

页码：138-141