Rdf 时空推理本体

我想为一组对象执行定性的空间知识表示。实际上，有一个场景包含一组可以移动或替换的对象（2D或3D简单立方体对象）。我可以提取位置、边界、方向，。。。每一个单独的对象。我想使用和定性对象之间的时空关系。 它需要一个本体和一个定义本体的软件。我可以使用，但是否有现成的本体可以在这种情况下使用，或者我必须自己编写

---

我已经检查过了。

如果您只需要表示RCC关系，那么您可以给每个关系一个IRI（RCC5中有31个关系，RCC8中有255个关系）并使用它们

如果你对推理感兴趣，那就更复杂了。没有一个简单的解决方案可以进行完整的推理。原因如下。如果使用对象属性对RCC的基本关系进行编码（这似乎是很自然的做法），那么就无法对析取关系进行编码，因为OWL不允许对象属性的析取。使用类也有一个缺点，因为您无法指定反转

本文提出了一种解决方案，即使用OWL和规则（SWRL）。但这有点复杂，因为您需要运行一个特殊的算法（本文描述）将RCC断言转换为OWL公理和SWRL规则

“这种方法的一个缺点是具体化过程会导致额外的复杂性，这会导致创建n^2个空间对象实例 n个地理对象的关系。因此，需要一个推理器，该推理器将针对执行涉及多个实例的SWRL规则进行优化。 然而，我们建议的利益是双重的。

---

一方面，我们已经证明了基于OWL和SWRL实现RCC8关系组成表及其传递闭包计算的完整推理的可行性。”

GeoSPARQL是强制性的，并且非常全面地描述了RCC，DE-9IM！它还提供内置的拓扑推理功能（前缀geof）。它们基于SPARQL中调用外部Java函数的过滤器。有关更多信息，请参阅文档

GraphDB有这样一个插件来实现GeoSPARQL内置

---

这是一个有趣的问题，但不幸的是，“**要求我们推荐或查找书籍、工具、软件库、教程或其他非现场资源的问题与堆栈溢出无关**，因为它们往往会吸引自以为是的答案和垃圾邮件。相反，请描述问题以及迄今为止为解决此问题所做的工作。”你在answers.semanticweb.com可能会更走运，那里的资源请求更多的是关于主题的。谷歌搜索让我找到了，这可能会有帮助。我会看看@JoshuaTaylor，非常感谢。我还检查了。还要注意，OWL/DL中的定性空间推理也受到可能的逻辑扩展的影响。你可能想从现在开始。但我认为GeoSPARQL并没有涵盖3D区域。3D定性空间推理支持将是资源和计算时间的巨大消耗，但也是一个巨大的改进！