問題タブ [swrl]

象徴的な計画の問題を解決するために、私たちは行動理論を書きます。行動理論を書くための一般的な言語は、STRIPS と ADL です。

アクションを説明するために、以下を提供する必要があります。

• 前提条件
• 効果

たとえば、ロボット ドメインには、RobotandObjectクラスとcloseToandholdingプロパティがあります。

ホールドすればアクションpickUp(?robot, ?object)が可能closeTo(?robot, ?object)で、さらにforall ?o in Object . not holding(?robot, ?o).

OWLおよび/またはSWRLで前提条件をどのように表現しますか?

アクションエフェクトはどうですか？

SWRL ルールを使用して競合をキャプチャしようとしています。SWRL が空の head(consequent) を持つルールをサポートしていることを知りました。しかし、保護者はそのようなルールを定義することを許可していません。私が達成しようとしていることのダミーの例は

hasSon プロパティと hasDaughter プロパティの両方によって、個人を同じ個人と関連付けることはできないことを意味します。プロテジでそれが不可能な場合は、代わりにこれを達成する方法を教えてください。

私はオントロジーに3つのクラスを持っています

babyAge (6+) のデータ food をクエリし、味 (asam) を持ちたい

私はJavaプログラムでこのコードを使用しています（これよりも単純なコードが他にあるかどうかはわかりません。知っている場合は教えてください）：

そして私は自分のデータを取得します。しかし、プロテジでそのコードを実行すると、何も得られません。誰かが私を助けることができますか？

Protege 4.3 で SWRL ルールのセットと共にオントロジーを作成しました。これらのルールを実行してクエリを実行するには、Protege またはプラグインと連携する別のプログラムが必要ですか? 推論者はこの仕事に役立ちますか? 検索すると、多くの理由付けに出くわしましたが、関連性があるとは思いますが、それらの使用法を理解できません。Protege に関してここで多くの質問を見つけましたが、実際にはどれも役に立ちませんでした。

私が書いたオントロジーにSWRL ルールを書きました。具体的には、ルールは次のとおりです。

Protege で Hermit 推論を使用してテストすると、これはうまく機能しますが、Blazegraph でテストすると機能しません。Blazegraph でルールを使用できることをここで読みましたが、SWRL を Blazegraph と連携させたいと考えています。出来ますか？

クラス Person のみを持つオントロジーの例があり、コレクションを作成しようとすると、sqwrl:makeBag がスローされます

また、Person タイプの個人が 4 人いますが、クエリを実行すると結果が 1 になります。

Protégé を使用してオントロジーにルールを追加する代わりに、Java またはペレットを使用して SWRL ルールをオントロジーに追加したいと考えています。

たとえば、オントロジーにインポートしたいルールは次のとおりです。

[Course(?x),teacherOf(?y,?x),worksFor(?y,?z)] => [coursePresentedInUniversity(?x,?z)]

次のコードをオントロジーに追加します。

それを行うためのサンプルコードを教えてもらえますか?

実は以下のコードを書いたのですが、うまくいきませんでした！

Protege と SWRL タブを使用して、以下で説明するオントロジーを作成しました。TestClassとClass で構成されておりShadow、 where にTestは 3 つの個体がありt1, t2, t3ます。Shadowの既存の個体ごとにクラスの個体を作成する SWRL ルールを定義しようとしていましたが、ルールは次のとおりTestです。

質問:

1. の 3 人 ( に対応) ではなくShadow、 という名前の 1 人だけが作成されます。fredt1, t2, t3

2. 常に命名されている結果の個人の命名を制御する方法はfred?

   /li>