基于约束满足问题的拓扑关系定性推理研究

近年来,空间关系推理在空间关系数据的表达和来源方面和语义网、空间信息服务相结合,极大的扩展了空间数据的来源,并在本体的基础上的统一了空间数据的表达方式。本文以 Oracle 语义数据库为平台,提出了一种基于约束满足的空间关系定性推理方法,并研究空间关系定性推理算法和对推理结果的检验算法,最后编程实现这些算法。