猫头鹰-？？到用于 GraphDB 的 OWL-RL (OWLIM)

Question

我正在尝试使用 GraphDB-SE 三元组存储爱因斯坦谜语并使用规则集来推断答案。 GraphDB 内置了对 OWL2-RL 和 OWL2-QL 的支持。
根据 w3.org

OWL 2 RL supports all axioms of OWL 2 apart from disjoint unions of classes (DisjointUnion) and reflexive object property axioms (ReflexiveObjectProperty).

Q1:为什么 GraphDB 无法推断它？

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

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

我的猫头鹰模型来自 this web还有 altered model正好使用 1 个 QCR 而不是带有 someValuesfrom 的函数和反函数属性。

Answer 1

标准中更好的报价是

Restricting the way in which constructs are used makes it possible to implement reasoning systems using rule-based reasoning engines [...] [I]n SubClassOf axioms, the constructs in the subclass and superclass expressions must follow the usage patterns shown in Table 2.

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

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