問題タブ [inference-engine]

ML 8.0 で次の推論例を実行しようとしていますが、不平を言っています

「[1.0-ml] XDMP-UNDFUN: (err:XPST0017) 未定義関数 sem:sparql-update()」

なぜこの問題が発生するのか、誰にも分かりますか?

http://docs.marklogic.com/guide/semantics/inferencing?print=yes

Jena で TransitiveReasoner をセットアップして、スキーマとデータセットから新しい推論モデルを作成したいと考えています。RDFS reasoner では機能しますが、TransitiveReasoner では機能しません。

これは、推論に関する私の最初の経験です。Jena Inference Support と他のチュートリアルを見ましたが、問題を解決できませんでした。

ここで、Javaでの私のテストコード:

を変更しようとしてOntModelSpecも役に立ちません。

私は何を間違っていますか？

よろしくお願いします。

Jess に関するチュートリアルを読んでみましたが、あまり役立つものは見つかりませんでした。私が話している楽器を見つけるプログラムを構築したいと思います。

したがって、楽器に弦がある場合、その楽器は弦楽器または打楽器 (つまりピアノ) のいずれかのカテゴリにあることがわかります。この基準に基づいて、カテゴリがパーカッションまたはストリングスのいずれかであるという事実を保存するルールをどのように作成すればよいでしょうか?

バインドを検討しましたが、バインドとは、潜在的なカテゴリごとに個別の変数が必要になることを意味しますか? または、アサートを使用する必要がありますか?

プロローグでクエリへの回答を見つける方法がより高速であることを見つけようとしています。

たとえば、

employee('John',23). rule2('John', 'Likes to play basketball').

より速い場合:

それは違いない：

しかし、それは単にfalseを返すだけです.なぜですか？

(まず、私の英語で申し訳ありません:)) 私は自分のプロジェクト(自然植物の単純な分類)の改訂システムを作成しようとしています。すべてのコードを貼り付けるのではなく、重要な部分だけを貼り付けたいのですが、そこで、システムが何をするのか説明しようと思います。システムがユーザーからの回答に対応する必要がある植物を見つけたときに、「はい」と答えた場合に選択できる属性を変更するかどうかをユーザーに尋ねる関数（revise-attributeと呼びます）を作成しました属性を変更したい場合、システムは属性のファクト・アドレスを見つけてそれらを撤回するため、最初から開始してルールを再評価する必要があります。たとえば、次の 2 つのルールがあります。

最後に、ユーザーが月の属性を変更したい場合、この最後の属性は撤回され、月の属性がないためルールの月を再評価して起動する必要があります。このようにして、ユーザーは次の値を変更できます。ただし、開花属性も変更する必要がありますが、アサートされた開花という名前の属性があり、これは行われません。これを念頭に置いて、 revise-function の後に「フォーカス」するモジュールを作成しました。

したがって、月が後退すると、開花も後退します。ただし、次のルールに疑問があるため、より良い方法で同じことを行う可能性があるかどうか疑問に思っています

たとえば、ユーザーが生息地属性を変更したい場合、Revisiting モジュールで次のルールを作成できます。

しかし、ユーザーが最初に入力した値が山で、それを edge_of_road で変更した場合、petal-apex-toothed 属性も撤回されて再起動されますが、petal-apex- について質問するのは冗長かもしれないと思います。歯付き。では、どうすればコードを改善できますか??

PS私は私が明確だったことを願っています、そうでなければ私はmysefをよりよく説明しようとすることができます:)