基于描述逻辑的领域本体知识逻辑检测
发表于：2024-09-21 作者：茶香楼
编辑最后更新 2024年09月21日，对本体库进行逻辑检测是本体构建的一个重要环节。基于描述逻辑的领域本体知识逻辑检测主要归结为判断概念关于TBox的可满足性以及判断ABox关于TBox的一致性。本文采用基于Tableaux算法的Pell
对本体库进行逻辑检测是本体构建的一个重要环节。基于描述逻辑的领域本体知识逻辑检测主要归结为判断概念关于TBox的可满足性以及判断ABox关于TBox的一致性。本文采用基于Tableaux算法的Pellet推理机对茶虫害本体库进行逻辑检测，验证了本体逻辑定义的有效性、完备性，为茶虫害本体的评价和二次开发以及后期应用奠定基础。
完成机构：安徽农业大学信息与计算机学院,安徽合肥230036
本体
逻辑
检测
虫害
安徽
知识
领域
有效
重要
一致
一致性
信息
农业
基础
大学
学院
有效性
机构
概念
环节
毛尖茶的功效
普洱茶十大知名品牌
普洱生茶和熟茶的区别
大益普洱茶怎么样
正山小种
绿茶什么牌子最好
祁门香
全发酵茶
东江楚云仙红茶
英红
喝普洱茶大便干燥正常吗
喝岩茶的看不起喝
宋 张镃《夜宿龙井广福寺分韵得来字》
黑乌龙茶与黑苦荞茶
湖南安化华莱黑茶有没直销证
庆云铁观音品牌
流完产能喝铁观音吗
翡翠茶壶泡茶视频
宋代黑茶釉罐
网红黑茶是什么意思
化妆品中含乙基肉桂酸酯
湖南安化98年金芙蓉花砖茶价格
青海砖茶养胃吗
白茶的包装标准
泡水喝的花茶生的小虫子
四川八益大狮家具有限公司
海岛黑骨茶和台山一样的吗
云南普洱食虫记
郑州哪里的白毫多
网上咋能买到好喝的红茶
陈年普洱茶的的功效与作用
2013金班章普洱茶饼
丹参与枸杞子一起泡茶吗
铁观音茶叶点燃
10年以上藏茶怎么泡
圆的滇红茶一次泡几个
玫瑰花茶哪种的比较好
福建南平水仙茶的传说
水仙茶最早产自哪个周边地区
不锈钢 煮老茶 茶渍
