SWRL ルールがオントロジー内の個人間の新しい関係をどのように推論するかをテストするために簡単なオントロジーを構築しましたが、うまくいきませんでした。私のルールは次のとおりです。
(hasFather(?x, ?y) ∧ hasMother(?x, ?z) → spouseOf(?y, ?z)
そして次のように読むことができます
x には父親 y がいて、x には母親 z がいます → y は z の配偶者です)。
私のオントロジーには、夫、妻、息子の 3 人の個人がいます。私は子供が母親が妻であり、父親が夫であると設定しました。そして、夫が妻の配偶者であることを設定するために、私のルールが採用されています。Jessプラグインを使用してルールをテストしましたが、結果はありませんでした。ルールが機能しないのはなぜですか?私のルールに何か問題がありますか、それとも Protege 3.3 の Jess に何か問題がありますか?