貓頭鷹-？？ 到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本體。