摘 要: 提出了基于空间推理和模糊逻辑的模糊空间描述逻辑FSDL,它可以作为支持不确定性推理的空间语义Web和空间本体的理论基础.FSDL在经典描述逻辑上增加了能描述空间关系的复杂关系项和模糊化概念、关系的语法、语义.随后给出了表推理算法,并证明了其正确性和完备性.最后,基于FSDL定义了模糊RCC5关系.