問題タブ [reasoning]

システムにローカルにConceptNet5 (リンク)をセットアップしようとしています。ConceptNet には Lookup、Search、Association API の 3 つの API があり、このページ (リンク)で提供されています。Running your own copyで説明されているように、これらの Api をローカルでセットアップしようとしました。最後の「make all」コマンドはプロセスの半分を正常に実行し、ルックアップ API と検索 API をローカルで動作させましたが、「make all」が途中でエラーを出したため、関連付け API はローカルで動作しません。基本的に、私のsqliteデータベースにはルックアップと検索用のデータがありますが、関連付けAPIのデータがありません. 「make all」の実行中にこのエラーが発生します

私が理解できないコードにエラーを与えています。どうすればそれを機能させることができますか。Github(link)にもあるコードを確認しました。しかし、まだ解決策を見つけることができませんでした。助けていただければ幸いです。

OWLで。

私はそれを知っています

と

と

と

その場合、推論者はそれを推測できます

1- この推論の背後にある概念は何ですか?

2-推論器がどのように機能するかについての一連の規則全体を説明する参考文献はありますか?つまり、推論器が暗黙の知識を明示的な知識に変えるために適用する規則は何ですか? 上記の例で示したようなものですか？

実際、私は一般的な推論を使用して何ができて何ができないかについて迷っています。

私の質問は 2 つあります。

1. 私は以前、推論者は総計と分類法にのみ専念していると考えていました。最近、いくつかのアルゴリズム内で推論器を複数の方法で使用できることを発見しました。たとえば、このリファレンスでは、推論器を使用してオントロジーの特定のパターンに準拠するエンティティを検索する方法を紹介しています。

   • DL ジェネリック推論アルゴリズムとは何を意味し、それを推論によってどのように実装できますか?

   • もしあれば、推論アルゴリズムによって達成できることにもっと慣れるための参考文献を参照してもらえますか?

2. 私の最初の問題は、OWL オントロジーと 2 つのクラス と が与えられた場合、それらをC1接続する機能プロパティチェーンがC2あるかどうかを確認したいということです。とをつなぐ機能的プロパティチェーン。(C1 P1 C3)(C3 P2 C4)(C4 P3 C2)P1P2P3(P1, P2, P3)C1C2

セマンティック Web での型推論の定義を知りたいのですが、google で検索すると、プログラミング領域の定義しか見つかりません。

OWL API と推論機能の操作に関する基本的な質問が 1 つあります。

私は JFact Reasoner を試し、正常に実行し、多くの公理を取得しました (そのうちのいくつかは推論され、一部は元のオントロジーで明示的に述べられています)。

それらを区別する必要がありますが、それを行う方法が本当に見つかりません。

OWLClass または他の場所にメソッドはありますか?

最初に、このトピックが繰り返される可能性があることを知っていますが、実際にはさらに質問があります。私は Jena を使用して OWL オントロジーを操作しています。class が与えられた場合、これが明示的であるか推論されているかにかかわらず、そのドメインAであるすべてのプロパティを見つけたいと考えています。A

次のオントロジーを考えてみましょう: A1 subClassOf A; P domain A; P range B; DL ルール推論を使用してオントロジー moel を作成します。これは推論をオンにすることになっています。

回避策として、このタスクを実行するための 2 つの方法が導入されました。

1. 使用listDeclaredProperties()：これはclsが私のOntClassであるコードです

これは正しい答えを取得します。そのドメインはA明示的かつ推測されますが、印刷されたドメインと範囲は Thing に設定されます。これは、 と の両方の出力AですA1。

質問1

なぜこれが起こっているのですか（Thingドメインと範囲内で）?

P domain A intersection Bさらに、一部のプロパティのドメインが交差している場合、それは無視さAれPます。A intersection BsubClassOf A

質問2

ただし、取得するためにドメインがいずれAかであるプロパティを取得するにはどうすればよいですか?subClassOf AA intersection B

2. Thisを使用listStatementsすると、明示的に述べられた回答のみが取得されます。

これは に対して何も結果を与えませんA1。これはA

質問 3

なぜこれが起こっているのですか (明示的な結果のみ)? 明示的な結果と推測された結果の両方を取得する方法は?

Aさらに、この方法は、そのドメインまたはそのドメインであるプロパティも取得A intersection Bします (質問 2 の回答)。なぜこれが起こっているのですか? 少し迷っています。

次の 2 つのトリプルがあります。

そして、次の Jena コード:

仕様を正しく理解していれば、getDedunctionsModel() から取得する必要があります。

しかし、私は空のセットを取得しています。理由はありますか？

これは、 SPARQL 1.1 含意レジームと FROM 句を使用したクエリからのフォローアップの質問です。

私は現在、SPARQL 1.1 含意体制について文書化/テストを行っており、推奨事項には次のように繰り返し述べられています。

スコーピング グラフは、アクティブ グラフと同等のグラフです...

したがって、推論スコープ グラフはクエリに依存しているように見えます。

問題は、スコープ グラフがクエリのデータセット (FROM/FROM NAMED 句) に由来するのか、それとも評価されるトリプル パターンの実際の現在アクティブなグラフ コンテキストを参照しているのかということです。

以下のグラフで

次のクエリは何を返す必要がありますか (たとえば、ここでは RDFS 含意体制の下で)、推奨事項に従っていますか?

3 つのリソースすべてを取得する必要があります:

あるいは単に

トリプル パターンのアクティブなグラフは NAMED グラフにスコープされているため、推論の公理はデフォルトのグラフに「配置」されていますか?

あなたの洞察をありがとう、

最大。

Inference Rules & Reasoning for Virtuosoのチュートリアルを読みました 。例 16.14.9 では、次のことが言及されています。

見てわかるように、datatype property によって使用される owl:InverseFunctionalProperty は<name>、Virtuoso で OWL Full 推論を使用できることを意味しますか? このQuestionでは、最初の回答は、datatype プロパティで OWL Full 推論を使用する際の問題について話していることでした。