电脑体验，效果更佳

语义网推理图谱-计算机领域：

研究人员

徐贵红 张健

相关术语

描述逻辑 本体 可满足性 一阶逻辑

语义网推理-兴趣云标签

施伯乐王宇君陈良刚吉伟萍张健