廖乐健 吴修国 王海龙 陈康 郭荷清 甘晓丽 刘全 梁晔 宋雅娟 周晶晶 宋自林 高胜利 张维明 施化吉 凌兴宏 唐九阳 刘杰 方翔 李英杰 程经纬 余雪丽 张凌宇 余泉 谢兴生 李宗寿 高英 樊孝忠 黄志球 张银平 徐宝文

本体 protégé 语义 模糊查询语言 AI规划 模型 含半幺群概括演算 混合推理 模糊 Jena 一阶逻辑可归约性 Datalog SHIQ 迁移工作流 建模 一致性 目标表示 概念建模 含半幺群同态 推理 匹配度 可满足性判定 本体 不确定性推理 合取查询 有序二叉决策图 云模型 循环的ALCN-Tbox DL-Safe规则 行为理论

本体