猫头鹰？OWLIM for GraphDB (OWLIM)

Question

我试图使用GraphDB存储爱因斯坦谜语，并使用规则集推断出答案。GraphDB支持OWL-2-RL和OWL-2-QL.根据w3.org

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

Q1:，为什么GraphDB不能推断？

Q2:如果我使用的是OWL，我如何将本体(OWL文件)转换为OWL？(我找不到更多关于这份资料的资料。“使用这个，不要使用这个”之类的实用信息。

Q3:，如果GraphDB不完全支持OWL-2-RL，什么部分不受支持？如何将我的模型转换为能够使用GraphDB推断预期结果？

我的owl模型来自于这张网和蚀变模型，使用的是精确的1 QCR，而不是someValuesfrom的函数和逆函数性质。

Answer 1

最好是从标准中引用

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

而表2禁止在OneOf公理的右边尺寸上使用SubClassOf构造。这个构造对于爱因斯坦谜团问题至关重要。

应答Q2：如果您查看上面引用的表2，您会发现OWL2RL实际上是非常严格的配置文件。特别是，它禁止对归入权的右手边存在限制.这意味着通常不可能将任意OWL2DL本体转换为RL本体。