我正在尝试使用 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？ (我找不到有关此个人资料的更多信息.实用信息，如“使用此功能，请勿使用此功能.”)“
**Q3：**如果 GraphDB 没有 full-support OWL2-RL，哪个部分不受支持？如何使用 GraphDB 转换模型以推断预期结果？
1 回答
从标准中得到更好的引用
并且表 2 禁止 e.g. 在
SubClassOf公理的 right-hand 尺寸上使用OneOf构造。这种结构对于爱因斯坦之谜问题至关重要。回答Q2：如果你看一下上面引用的表 2，你会发现 OWL 2 RL 的配置文件非常严格。特别是，它禁止对包含的 right-hand 方存在限制。这意味着通常不可能将任意 OWL 2 DL 本体转换为 RL 本体。