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

Logic checking of domain ontology knowledge based on description logics

作　　者：朱利君[1] 张友华[1] 李绍稳[1] 程波波[1] 吉喆[1] 

机构地区：[1]安徽农业大学信息与计算机学院,安徽合肥230036

出　　处：《农业网络信息》2008年第9期138-141,共4页Agriculture Network Information

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

摘　　要：对本体库进行逻辑检测是本体构建的一个重要环节。基于描述逻辑的领域本体知识逻辑检测主要归结为判断概念关于TBox的可满足性以及判断ABox关于TBox的一致性。本文采用基于Tableaux算法的Pellet推理机对茶虫害本体库进行逻辑检测,验证了本体逻辑定义的有效性、完备性,为茶虫害本体的评价和二次开发以及后期应用奠定基础。Logic checking on ontology base is an important part of ontology construction. Logic checking of domain ontology knowledge based on description logics mainly classified as judging concept satisfiability on TBox and judging ABox consistency on TBox. The paper adopts Pellet reasoner of Tableaux algorithm-based logic checking on tea pest ontology base, verifying the validity and completeness of the ontology logic definition, establishing the foundation for tea pest ontology evaluation, development of ontology and application.

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

分 类 号：S126[农业科学—农业基础科学]