机译:基于分类单元的约束的形式化以检测注释和本体开发中的不一致
机译:基于约束编程的本体不一致检测方法
机译:GOChase-II:从基于基因本体的基因产品注释中纠正语义不一致
机译:使用带有非小工具的本体数据库检测基因本体中的不一致
机译:检测和诊断德语初学者的语法错误:从学习者语料库注释到约束满足问题
机译:形式化注释和多样化的药品的分析与探讨筛选使用生物测定本体分析数据集(BaO)
机译:基于分类单元的约束的形式化,以检测注释和本体开发中的不一致之处
机译:关于检测多余和不一致线性约束的问题