通用定性时空关系建模、推理与应用

定性时空关系是时空推理等领域研究重点，现有研究存在以下问题：定性时空关系的研究工作比较分散和独立，缺乏结合定量表示和定性推理的研究工作，定性时空关系缺乏标准。为此，本项目拟建立一个通用性的定性时空关系建模、推理与应用系统。提出了基于场景描述的、基于多类逻辑的、基于模糊逻辑的等多个通用的定性时空关系表示框架，实现了部分定性时空关系模型的调和及统一。提出了定性时空关系模型本体STRO，实现了时空关系模型的规范化表示。提出了基于GML和STRO的通用时空关系查询，能够对各类时空数据和各类时空关系提供统一、通用的查询界面，改变了大量定性时空关系不能在时空查询中应用的局面。提出了定性时空关系模型的选择和评价方法，使得在众多的时空模型中针对具体应用可以进行科学的选择，也使得新模型的研究工作有了评价的基准。该系统建立在广泛公认的时空数据标准GML之上，从而可以便捷地应用到各类系统中。