基于描述逻辑的领域本体知识逻辑检测
日期:2013-10-30 浏览:130次 
基于描述逻辑的领域本体知识逻辑检测

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

Tags: 雅茗居 茶文化 茶叶 茶叶知识 茶网大全 茶叶问答 网络
文章编辑】【关闭】【收藏】 【返回顶部】 
上一篇健康食品超市 下一篇基于本体的茶虫害诊断系统构建的..

推荐阅读

图文欣赏

延伸阅读

勿把板蓝根当茶给儿童喝
寒冷冬季,人难免有个鼻塞或头痛脑热,很多朋友习惯服上两包板蓝根冲剂,家里有个感冒患者,更是天天不...
诗味共茶清——略谈《赵朴初咏茶诗集》
2007年是杰出的爱国宗教领袖赵朴初先生诞辰100周年。赵朴初是著名的国学和禅学大师、名重当代的诗人和...
《红楼梦》与饮茶
我国饮茶讲究色、香、味、形、水、具、时、温、烹、礼十大要领,它是一门食饮之艺术。在古典巨著《红楼...
把握冲泡时间才能充分吸收营养
对于博大精深的茶文化,世界各国都有不同的注解:中国人'以茶待客'、'以茶待酒',喜欢喝茶听戏;日本人...
喝花茶有几点 你应该关注
医学指导广东省中医院治未病中心主任医师毛炜咽干喉痛、嘴唇干裂、皮肤紧绷……一夜秋风让不少人深陷'...

相关主题

推荐文章

知识问答

雅茗居茶叶网 |茶友社区 | 茶叶知识 | 茶叶信息发布 | 茶友空间 | 茶叶交流 |