問題タブ [swrl]

私は患者を識別するためのオントロジーを開発し、それをサンプル SQL データベース (100 人の患者を含む) にマッピングしました。これは、オントロジーに個体が存在しないことを意味します。では、ルール タブで次の sparql クエリに対して同様の swrl ルールを実行するにはどうすればよいですか。

Protege 3.4.8 を使用しています。datatype プロパティcolorsと object プロパティを持ついくつかのインスタンスがあるとしますhasMeaning。の値はcolors文字列で表されますred blue yellow。

次のようなルールを作成したいと思います。ある色に が含まれていても含まれてredいないblue場合、その色には という意味がありHappyます。私の現在のルールは次のように書かれています。

colors(?x, ?y)
∧ swrlb:contains(?y, "red")
∧ swrlb:booleanNot(true, swrlb:contains(?y,"blue"))
→ hasMeaning(?x, Happy)

しかし、私は得ましたError: Expecting ',' or ')', got '('.

ここで提供されている文法に従いました。

ここで何が問題なのか分かりますか? どうもありがとうございました！

HermiT推論を使用して、一連のOWL公理とSWRLルールを含むオントロジーの推論を計算しようとしています:

基本的に、OWL部分はそのようなルールを表現しようとしています:

プロパティ チェーンとローリフィケーションテクニックを使用する:

SWRL 部分は次のとおりです。

予想される出力には、 と の両方が含まれている必要がObjectPropertyAssertion( :professorOf :DrBoffin :Bob )ありObjectPropertyAssertion( :instructorOf :DrBoffin :Bob )ます。ただし、実際の出力は (オブジェクトのプロパティのみを表示)

期待される SWRL の結果が表示されないのはなぜですか? 助言がありますか？

Protegé でオントロジーの作業を始めたばかりで、SWRL ルールの使用方法を理解しようとしています。出力を生成できないため、概念やそれらを正しく処理する方法がわからないのではないかと心配しています。これをテストするために作成した簡単なケースをもう少し説明します。

A、B、C という名前の 3 つの個体を作成しました。それぞれに、ブール値の範囲を持つテスト プロパティがあります。それぞれのプロパティ アサーション タブで値を初期化したのでtest(A,true)、test(B,true)とtest(C,true)です。ルールがどのように機能するかをテストするために、次のようなルールを作成しましたtest(A,true), test(B,true) -> test(C,false)。私が理解している方法は、A と B のテスト プロパティが true の場合、C のテスト プロパティが false になるということです。そうするために、推論 (ペレット) を開始しますが、何も起こりません。つまり、Resoner がアクティブで、「矛盾したオントロジー」メッセージは表示されませんが、C のテスト値は変化しません。これは本当に単純な混乱に違いないと思いますが、どこにも見つからないようで、ルールが有効になっているかどうかを確認することもできません。

前もって感謝します。