电脑体验，效果更佳

描述逻辑图谱-计算机领域：

研究人员

汤庸 何坚 郑力 张海俊 金淳兆 张义 康达周 贾育 向胜军 王治刚 陈立民 侯金宏 王岁花 王洪滨 李舟军 赵小香 范少锋 李瑞轩 孙瑜 余正涛 王晓贺 李勇 马炳先 张会 王真星 王驹 眭跃飞 贾晓琳 林作铨 陈新华

相关术语

本体 语义Web 描述图 循环术语集 形式概念分析 描述语义 非标准推理 μALCQO 混合推理 发布 一致性检验 自主计算 Tableau算法 时序ER模型 DLR（ifd） 推理算法 具体领域 Horn子句 推理机Racer 树自动机 推理引擎 Tableaux算法 知识表示 L-解释 最小化理论 不动点语义 算法 RACER 逻辑程序 动态描述逻辑

上位概念

本体 语义Web

下位概念

描述图 循环术语集

标签云