茶虫害本体相关硕士博士期刊学术论文 - 搜论网

茶虫害本体相关论文

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

对本体库进行逻辑检测是本体构建的一个重要环节。基于描述逻辑的领域本体知识逻辑检测主要归结为判断概念关于TBox的可满足性以及......

期刊

茶虫害本体描述逻辑 Tableaux算法 Pellet推理机逻辑检测 Tea pest ontology Description logics Tabl

看过本文同时还关注