問題タブ [spin-rdf]

AllegroGraph 4.4 を使用しています。ケネディ家系図に関するサンプル データベース入力があります。SPIN のチュートリアルから例をコピーしました。ここにあります：

問題は、この関数をどこにどのように登録するかわからないことです。WebView を試してみましたが、次のエラーが発生します。

このエラーが発生し続けるのはなぜですか?

ルールはどこで定義する必要がありますか?

クラス階層と、それ自体でうまく機能するいくつかのルールを持つ TopBraidComposer でオントロジーを構築しています。私のオントロジーでは、クラス レベルで作業しているため、作成するすべての定義は、個人ではなくクラスにのみ関連しています。ここで、次のようなサブクラス定義を推論したいと思います。

仕事をしているように見える次のSPARQLクエリを試しました：

次に、このクエリを SPIN ルールとして owl:Thing クラスに次のように追加しました。

Enter キーを押すと、次の形式に自動的に変換されます。

合理的に見えますが、推論プロセスを開始すると、テスト ルールを追加する前のように終了しなくなりました。推論を強制停止すると、目的のトリプルが Test クラスに何度も追加されていることがわかります。

SPIN で匿名スーパークラスを推論するにはどうすればよいですか?

編集：

回避策は、制限をクラスにバインドすることです。ロジックは機能しているように見えますが、匿名のスーパークラスのようには表示されません。TBCでもProtegeでもありません。

私は現在、結果として「TRUE」を期待しているaskクエリを持っています（チェックしたところ、本当です！）。URIを一致させようとしています。なぜこれが機能しないのかわかりません。

元。

私が使用しているエンドポイントで;

?ABC= <http://some.sample.org/URI_ID000>
?XYZ=<http://some.sample.org/URI_ID000>

したがって、私は?ABC=を知っているので?XYZ、結果が真であると期待していますが、偽になっています。誰かがこれがなぜなのかについて何か考えがあるかどうか疑問に思っていますか?

SPIN API を使用してテンプレートを実行しようとしています。単純なテンプレートの場合、これはうまく機能しますが、FILTERs.

検証のために、テンプレートを実行する前に本文を印刷しましたが、表示される内容は期待どおりのものではありません。

クエリを出力しますが、FILTER4 行を含む句は次のようになります。

このため、クエリを実行しようとすると失敗します。

spin:bodyモデルから完全に取得する方法を知っている人はいますか?

変数がバインドされているかどうかに基づいてクエリ式を変更するにはどうすればよいですか?

次のように魔法のプロパティを呼び出しています。

魔法のプロパティ内で、結合を行います。

:somePropつまり、この値または :someProp定義されていないすべての結果を取得します。

ここがトリッキーな部分です。がバインドされていない場合?subj(つまり、ブロックUNDEF内のように設定した場合VALUES)、上記のクエリは暴走し、すべてを返します。

?subj代わりに、バインドされていないかどうかを確認したいと思います。?subjバインドされていない場合は、次の結果のみ:myMagicPropertyを返す必要があります。

FILTER関数を使用して実験しBOUNDましたが、正しい動作を取得する方法がわかりません。がバインドされていないUNION場合、クエリから句の 1 つを削除するにはどうすればよいですか??subj

アップデート

VALUESブロックを追加するために最初のクエリを修正しました。
不足している?result a :Rule .ステートメントを追加しました。に
訂正。?someProp:someProp

私は Allegrograph をトリプルストアとして使用しており、SPIN 関数を使用しようとしています。AGWebView ツールの HTTP API 経由で簡単な SPIN 関数を登録することができました。現在、SPARQL クエリで SPIN 関数を呼び出そうとしていますが、AGWebView は、登録されている SPIN 関数が見つからないことを示しています。これを達成する方法はありますか？

私は SPIN を初めて使用します。ドキュメントを読み、いくつかの例を調べましたが、使用を開始したいと思います。

http://topquadrant.comから SPIN 用のツールをいくつか見ましたが、しばらくの間 openrdf-sesame サーバーを使用しており、それを使い続けたいと考えています。

http://rdf4j.org/doc/4/programming.docbook?viewのドキュメントを読んだところ 、API に SpinSail のベータ版があることがわかりました...しかし、指定された Web サイトのどこにも見つかりませんでしたopenrdf-sesame.war サーバーに SPIN プロセッサがあるかどうか。

ゴマのクワッドストアで SPIN 機能 (ルールの追加、制約の追加、推論の作成など) を使用することは可能ですか? はいの場合、どのように？