我正在尝试使用 GraphDB-SE 三元组存储爱因斯坦谜语并使用规则集来推断答案。 GraphDB 内置了对 OWL2-RL 和 OWL2-QL 的支持。
根据 w3.org
Q1: 为什么 GraphDB 无法推断？
Q2: 如果我使用的是 OWL-RL 之外的东西，我如何将我的本体(OWL 文件)转换为 OWL-RL ？ (我找不到有关此配置文件的更多信息。实用信息，例如“使用此，不要使用此。”)”
Q3: 如果 GraphDB 不完全支持 OWL2-RL，那部分不支持？如何转换我的模型以便能够使用 GraphDB 推断预期结果？
我的猫头鹰模型来自 this web 和 altered model，它使用恰好 1 个 QCR 而不是具有 someValuesfrom 的函数和反函数属性。
最佳答案
标准中更好的报价是
并且表 2 禁止，例如，在 OneOf 公理的右侧大小上使用 SubClassOf 构造。这种构造对于爱因斯坦谜语问题至关重要。
回答 Q2 :如果您查看上面引用的表 2，您会发现 OWL 2 RL 确实是非常严格的配置文件。特别是，它禁止对包含的右侧进行存在限制。这意味着通常不可能将任意的 OWL 2 DL 本体转换为 RL 本体。
关于猫头鹰-？？到用于 GraphDB 的 OWL-RL (OWLIM)，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/30391159/