OWL-??到 OWL-RL for GraphDB (OWLIM)
OWL-?? to OWL-RL for GraphDB (OWLIM)
我正在尝试使用 GraphDB-SE triplestore 来存储 Einstein Riddle 并使用规则集来推断答案。 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 之外的东西，我该如何转换我的 ontology（OWL 文件) 到 OWL-RL ？ （我找不到关于此配置文件的更多信息。实用信息如 "Use this, don't use this."）“
Q3:如果GraphDB不完全支持OWL2-RL，那是什么部分不支持？我如何转换我的模型以便能够使用 GraphDB 推断预期结果？
我的 owl 模型来自 this web and also altered model，使用 1 个 QCR 而不是具有 someValuesfrom 的函数和反函数属性。
更好的标准引用是
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.
和 Table 2 禁止，例如，在 SubClassOf 公理的右侧大小上使用 OneOf 构造。而这个构造对于爱因斯坦之谜问题至关重要。
回答Q2：如果你看上面引用的Table2，你会发现OWL2 RL真的是非常严格的profile。特别是，它禁止对包含的右侧进行存在性限制。这意味着通常不可能将任意 OWL 2 DL ontology 转换为 RL。
我正在尝试使用 GraphDB-SE triplestore 来存储 Einstein Riddle 并使用规则集来推断答案。 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 之外的东西，我该如何转换我的 ontology（OWL 文件) 到 OWL-RL ？ （我找不到关于此配置文件的更多信息。实用信息如 "Use this, don't use this."）“
Q3:如果GraphDB不完全支持OWL2-RL，那是什么部分不支持？我如何转换我的模型以便能够使用 GraphDB 推断预期结果？
我的 owl 模型来自 this web and also altered model，使用 1 个 QCR 而不是具有 someValuesfrom 的函数和反函数属性。
更好的标准引用是
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.
和 Table 2 禁止，例如，在 SubClassOf 公理的右侧大小上使用 OneOf 构造。而这个构造对于爱因斯坦之谜问题至关重要。
回答Q2：如果你看上面引用的Table2，你会发现OWL2 RL真的是非常严格的profile。特别是，它禁止对包含的右侧进行存在性限制。这意味着通常不可能将任意 OWL 2 DL ontology 转换为 RL。