主要讨论了在基于四元三角网 ( Quaternary Triangular Mesh,简称 QTM)球面层次格网剖分的基础上 ,通过单元递归细化来确定 2个球面实体的空间关系。传统确定空间关系的方法是通过二元经典剖分元——实体的内部 ( χi)和外部 ( χe) ,通过对 QTM球面层次特征的分析 ,增加了第 3个剖分元——不定剖分元 (χm) ,利用三值逻辑—— true( T) ,false( F) ,和maybe( M)快速准确地确定 2球面实体的拓扑关系。其基本原理是 :在球面四元三角网的根水平带有不确定空间关系开始 ,一层一层地递归细化 ,来排除不可能结果。当细化的信息满足一定的查询要求 ,递归分解过程就停止。特别在细化过程中 ,提出并应用了“继承推理”方法来提高系统效率。