本体是语义网(Semantic Web)和人工智能研究中非常重要的一种知识表达形式，它表达了领域的基本概念和概念之间的分类层次结构。建立......

传统GIS主要局限于“地图的数字化，便于计算分析处理”，其分析处理的主要对象是地图而不是客观世界，表达的是对地图的认知，而不是对现......

区域连接演算（Region Connection Calculus，RCC）是一种用于空间定性表示和推理的形式化模型，如RCC5，RCC8等，其一致性检查被证明是一个NP......

针对产品概念设计阶段获取的用户需求功能,利用空间定性推理方法,在功能范畴下以基本功能集为组成单元,以包含运动、能量、控制、......