4

我正在尝试使用 GraphDB-SE Triplestore 来存储 Einstein Riddle 并使用规则集来推断答案。GraphDB 内置了对 OWL2-RL 和 OWL2-QL 的支持。根据w3.org

OWL 2 RL 支持 OWL 2 的所有公理，除了类的不相交联合 (DisjointUnion) 和自反对象属性公理 (ReflexiveObjectProperty)。

Q1：为什么 GraphDB 无法推断？

Q2：如果我使用 OWL-RL 之外的东西，我如何将我的本体（OWL 文件）转换为 OWL-RL？（我找不到有关此配置文件的更多信息。实用信息，例如“使用此，不要使用此。”）

Q3：如果 GraphDB 没有完全支持 OWL2-RL，那么不支持的部分是什么？如何转换我的模型以便能够使用 GraphDB 推断出预期结果？

我的猫头鹰模型来自该网络，并且还使用恰好 1 个 QCR 而不是具有 someValuesfrom 的函数和反函数属性更改了模型。

4

1 回答 1

2

标准中更好的报价是

限制使用构造的方式使得可以使用基于规则的推理引擎来实现推理系统 [...] [I]n SubClassOf 公理，子类和超类表达式中的构造必须遵循表 2 中所示的使用模式.

并且表 2 禁止，例如，在公理OneOf的右手尺寸上使用构造。SubClassOf这种结构对于爱因斯坦谜语问题至关重要。

回答Q2：如果您查看上面引用的表 2，您会发现 OWL 2 RL 确实是非常严格的配置文件。特别是，它禁止对包含右侧的存在性限制。这意味着通常不可能将任意 OWL 2 DL 本体转换为 RL 本体。

于 2015-06-06T12:41:56.487 回答