猫头鹰-？？ 到GraphDB的OWL-RL（OWLIM）

Question

我正在尝试使用GraphDB-SE triplestore来存储爱因斯坦之谜并使用规则集来推断答案。 GraphDB已经构建了对OWL2-RL和OWL2-QL的支持。 根据w3.org

除了类的不相交联合（DisjointUnion）和反身对象属性公理（ReflexiveObjectProperty）之外，OWL 2 RL支持OWL 2的所有公理。

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

Q2：如果我使用的是OWL-RL，我怎样才能将我的本体（OWL文件）转换为OWL-RL？ （我找不到有关此个人资料的更多信息。实用信息，如“使用此功能，请勿使用此功能。”）“

问题3：如果GraphDB没有完全支持OWL2-RL，那么哪个部分不受支持？ 如何使用GraphDB转换模型以推断预期结果？

我的猫头鹰模型来自这个网站 ，也改变了模型使用1 QCR而不是功能和反函数属性与someValuesfrom。

Answer 1

从标准中得到更好的引用

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

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

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