手机版

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

发布时间:2014-08-06   来源:老农茶网    
字号:

用手机扫描二维码在手机上继续观看

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

完成机构:安徽农业大学信息与计算机学院,安徽合肥230036

图说天下

分享到微信朋友圈

×

打开微信,点击底部的“发现”,

使用“扫一扫”即可将网页分享至朋友圈。