owl - Protege と Fact++ を使用してデータ プロパティ値を比較する

Question

protege を使用して、文字列値とデータ プロパティを比較しようとしています。例えば：

国クラスがあり、そのクラスには、hasCountryName データ プロパティが「イングランド」に設定された個人がいます。私は定義済みのクラスを使用しています。私がやりたいのは、次のようなことです。

国と (hasCountryName 値 "England")

隠者推論を使用すると、私の個人がそのクラスのメンバーであると正しく推論されますが、Fact++ を使用するとそうではありません。Fact++ 推論を使用したいのですが、Fact++ が認識できるようにこれを変更する方法はありますか?

Answer 1

FaCT++ と HermiT は同じ推論をサポートするはずなので、一方では機能するが他方では機能しない場合は、バグが疑われます。これを確認するには、同じ例を試すことができますが、次のようなものを使用します

Country and (hasCountry value England)

はhasCountryオブジェクト プロパティです。これは元のオントロジーに関しては意味がありませんが、データ プロパティとリテラルを使用せずに同じ推論を開始する必要があります。FaCT++ がこれを認識する場合、リテラルおよびデータ型プロパティの処理方法にバグがあります。