当前位置：
首页 >
资讯 >
茶叶知识> 正文
基于描述逻辑的领域本体知识逻辑检测
2021-02-20 17:04:45热度:139°C
对本体库进行逻辑检测是本体构建的一个重要环节。基于描述逻辑的领域本体知识逻辑检测主要归结为判断概念关于TBox的可满足性以及判断ABox关于TBox的一致性。本文采用基于Tableaux算法的Pellet推理机对
茶虫害本体库进行逻辑检测，验证了本体逻辑定义的有效性、完备性，为茶虫害本体的评价和二次开发以及后期应用奠定基础。
完成机构：安徽农业大学信息与计算机学院,安徽合肥230036
茶叶串味了怎么办
不言茶叶
相关文章
SQL Error: select id,classid,MATCH(title) AGAINST('27895158 51583572 35724286 42863463 34632813 28132136 21363376 33765182 51821730 17304469 44695410' IN BOOLEAN MODE) as jhc from ***_enewssearchall where (id<>197273) and MATCH(title) AGAINST('27895158 51583572 35724286 42863463 34632813 28132136 21363376 33765182 51821730 17304469 44695410' IN BOOLEAN MODE) order by jhc desc,infotime desc limit 0, 6
