4

GraphDB-SE triplestore を使用して Einstein Riddle を保存し、ルールセットを使用して答えを推測しようとしています。GraphDB には、OWL2-RL および OWL2-QL のサポートが組み込まれています。w3.orgによると

OWL 2 RLは、クラスの互いに素な和集合(DisjointUnion)と再帰オブジェクト・プロパティの公理(ReflexiveObjectProperty)を除いて、OWL 2のすべての公理をサポートしています。

Q1:なぜ GraphDB はそれを推論できないのですか?

Q2: OWL-RL から何かを使用している場合、オントロジー (OWL ファイル) を OWL-RL に変換するにはどうすればよいですか? (このプロファイルに関する詳細情報は見つかりません。「これを使用し、これを使用しないでください」などの実用的な情報)"

Q3: GraphDB が OWL2-RL を完全にサポートしていない場合、サポートされていないのはどの部分ですか? GraphDB を使用して期待される結果を推測できるようにモデルを変換するにはどうすればよいですか?

私のフクロウのモデルはこの Webからのもので、someValuesfrom を使用した関数型および逆関数型のプロパティの代わりに、正確に 1 つの QCR を使用してモデルを変更しました。

4

1 に答える 1

2

標準からのより良い引用は

コンストラクトの使用方法を制限すると、ルールベースの推論エンジンを使用して推論システムを実装できるようになります [...] [I]SubClassOf 公理では、サブクラスおよびスーパークラス式のコンストラクトは、表 2 に示す使用パターンに従う必要があります。 .

また、表 2 では、たとえば、公理OneOfの右側のサイズに関する構成の使用が禁止されています。SubClassOfそして、この構成はアインシュタインのなぞなぞ問題にとって重要です。

Q2への回答: 上記の表 2 を見ると、OWL 2 RL が非常に制限的なプロファイルであることがわかります。特に、包摂の右側での存在制限を禁止します。これは、通常、任意の OWL 2 DL オントロジーを RL オントロジーに変換することは不可能であることを意味します。

于 2015-06-06T12:41:56.487 に答える