問題タブ [inference]

オブジェクト間の関係を作成するためにこのコードを作成しました。

出力として、私は得ました

これらのオブジェクト プロパティに制限を追加し、それらを非推移的にしたいと考えています。たとえば、O1、O2、O3 の 3 つのオブジェクトがある場合、次のように推測できます。

O1 左 O2、O2 右 O1、O2 左 O3、O3 右 O2。

O1 左 O3 と O3 右 O1 を許可しません。

推移的なプロパティを作成する可能性があることがわかりましたが、非推移的なプロパティの場合はどうすればよいかわかりませんでした。

さらに、カーディナリティ制限を追加して、1 つのオブジェクトを並べて表すにはどうすればよいですか。

この関数MethodInfo.MakeGenericMethodでは、型パラメーターに対応する型の配列を渡す必要があります。私は、型シグネチャが自明ではなく、実行時までわからないシナリオにいます。関数への引数の型しかありません。

たとえば、関数のシグネチャは次のとおりです。

実行時にのみ認識される型 t1 (IArray など) と t2 (Func など) の 2 つの引数があります。たとえば、t1 と t2 から T と U を計算するために、実行時に C# の型推論アルゴリズムを活用したいと考えています。

このプログラムは、推論によって推論された他のライオン個体をオントロジーに追加するために推論手法を使用する可能性がありますが、返されたすべてのエラーを解決する方法がわかりません。Javaコードは次のとおりです。

エラーは次のとおりです。

すべてのヘルプは高く評価されています :) 事前に感謝します。

クラス A、ドメイン A のプロパティ P、およびクラス B が与えられた場合、プロパティ P の値が「B」の場合、クラス A は A と同等であると定義されます。

Protége は、クラス :B の定義に従って、予想される個体 :b の推定型として型 :B を表示します。

SPARQL クエリ

SELECT * WHERE { :ba ?タイプ }

ただし、Protége の SPARQL クエリ ビューでは、クラス :A のみが返されます。

推論されたクラス :B も返さないのはなぜですか?

ありがとう。

PS: モデルは Pellet reasoner によってサポートされています

PPS: Java アプリケーションで Jena の推論 OntModelSpec.OWL_MEM_MICRO_RULE_INF を使用する上記の SPARQL クエリは、期待されるクラス :B を個々の :b の型として返します。議論されている問題は、Protége の SPARQL クエリ ビューの問題のようです。

Jena で、InfModel クラスを使用して RDFS 推論モデルを作成しました。

infmodel から推論されたステートメントが与えられた場合、Protégé の「推論の説明」オプションと同様に、それを推論するために使用された 2 つのステートメントを取得するにはどうすればよいでしょうか? たとえばinfModel、ステートメント が含まれている場合、:a rdf:type :tそれを推論するために使用される 2 つのステートメント (例: と ) が得られる可能性が:a :p :b あり:p rdfs:domain :tます。

Virtuoso、Stardog、4store、Allegrograph、Oracle11g などのトリプル ストアでのステートメントの挿入と削除について質問があります。

新しいステートメントを挿入するとき、推論されたステートメントをストアに挿入しますか、それともすべてのクエリ実行で推論を使用して推論されたステートメントを取得しますか? ステートメントを削除するときと同じ質問ですが、推論されたステートメントは削除されますか?

Java でファジー論理システム全体を実装しましたが、非ファジー化プロセスで深刻な問題が発生しています。

私のコードでは、入力を時間と距離として定義し、出力は単に出力です。入力セットと出力セットを構築するすべての線形関数があるため、その任意の値にアクセスできます。

ファジー ルールは次のとおりです。

これらのルールのそれぞれで、最初に、これら 2 つの入力の出力がどのセットに属するかを定義します ( INSUFFICIENT、AVERAGE_SUFFICIENTまたはの可能性がありますSUFFICIENT)。それが完了したら、非ファジー化プロセスに進む必要があります。ここで、私の理解が少し怪しくなります。

ルールを通過した後、出力の各セットに対してそれぞれ 3 つが得られます (基本的に、3 つの値が、3 つのSUFFICIENTon SUFFICIENT_AVERAGE、および 3 つのとして分類されますINSUFFICIENT)。んで、どうする？これらの 9 つの出力はすべてセントロイド計算の一部になりますか? 3 つのセットすべての最大値を選択して、それらを重心の公式に投入しますか? （これは私がやったことですが、matlabと比較すると結果は機能しません）

タイトルにあるように、X->A と Y->B があるのになぜ XY->AB と書くのが間違っているのか理解に苦しみます。Aが機能的にXに依存し、Bが機能的にYに依存している場合、左側にXYがある場合、右側に対応する値が必要です。とにかく、私の本はこれが間違っていると言っているので、これが間違っていることが証明されている例を誰か教えてもらえますか? 前もって感謝します ：）

ここで離散的な計算を行っています。たとえば、"NOT k" のようなものがある場合、その前に別の "NOT" を追加して "NOT NOT k" にすると、2 つの "NOT" はキャンセルされて単に "k" になりますか?

これは文にも当てはまりますか？私が把握するのに苦労しているのは奇妙な論理です。

「ヒンドリー・ミルナーとは」の下に、次のように記載されています。

Hindley-Milner はSystem Fの制限であり、より多くの型を許可しますが、プログラマによる注釈が必要です。

私の質問は、Hindley Milner (型推論) では利用できない、System F で利用可能な型の例は何ですか?

(システム F 型の推論が決定不能であることが証明されているという仮定)