王生生 虞强源 刘大有 谢琦 胡志永 王新颖

国际标准 近似区域 时态推理 粗定位 近似空间关系代数 定性空间推理 模糊逻辑 本体查询语言 地理信息系统（420·3040） 时空推理 基于Web的系统 语义Web 本体服务器 描述逻辑 空间推理 本体语言 空间数据挖掘

吉林大学计算机科学与技术学院 中国人民大学信息学院 吉林大学符号计算与知识工程教育部重点实验... 吉林大学计算机科学与技术学院符号计算与知... 吉林长春 符号计算与知识工程教育部重点实验室