我想为一组对象执行定性空间知识表示。实际上，存在包括可以移动或替换的一组对象（2D或3D简单立方体对象）的场景。我可以提取每个单独对象的位置，边界，方向......我想使用RCC (Region Connection Calculus)和对象之间的定性时空关系。 它需要一个本体和一个用于定义本体的软件。我可以使用Protege但是有没有可以在这种情况下使用的现成本体，或者我必须自己编写它？
我已经检查了this Q&A。
答案 0 :(得分：1)
如果你只需要代表RCC关系，那么你可以给每个关系一个IRI（RCC5中的31个关系，RCC8中的255个关系）并使用它们。
如果你对推理感兴趣，那就更复杂了。没有直接的解决方案可以完成推理。这就是原因。如果使用对象属性来编码RCC的基本关系，这似乎是执行它的自然方式，那么您将无法对析取关系进行编码，因为OWL不允许对象属性的析取。使用类也有一个缺点，因为您将无法指定反转。
在此paper中提出了一种解决方案，即使用带规则的OWL（SWRL）。这有点复杂，因为你需要运行一个特殊的算法（在论文中描述）将RCC断言转换为OWL公理和SWRL规则。
“这种方法的一个缺点是具体化过程引起的额外复杂性，导致创建n ^ 2个空间实例 n个地理对象的关系。因此，需要为执行涉及许多实例的SWRL规则而优化的推理器。 但是，我们提案的兴趣是双重的。 一方面，我们已经证明了基于OWL和SWRL的实施的可行性，以及计算RCC8关系的组成表及其传递闭包的完整推理。“
答案 1 :(得分：1)
GeoSPARQL是强制性的，完全描述了RCC，DE-9IM，......！它还提供内置拓扑推理功能（PREFIX geof）。它们基于SPARQL中的FILTER，它调用外部Java函数。有关更多信息，请参阅文档。
GraphDB有一个实现GeoSPARQL内置插件的插件。