問題タブ [dlquery]

オブジェクト プロパティのカーディナリティに基づく DL クエリで問題が発生しています。何か問題があるのか​​、それとも HermiT に問題があるのか​​わかりません。

まず、私の問題を示す非常に単純なオントロジーを添付しました。個人AとBの 2 人だけが存在し、オブジェクト プロパティhasSomethingがあります。A には 何かがある Bは真です。

次の DL クエリは、結果としてAを返します。

クエリ中に

満足できません。

最初のものは機能し、2番目のものは機能しない理由を誰かが知っていますか?

a(x,y)
b(y,z)次の 2 つの関係が与えられると想像してください
:
c(x,z)
そして、これは、c に SuperProperty Of (Chain) を追加することによって Protégé で明示的に表現できます。このようなプロパティ:
aob SubPropertyOf c

これを表現して、 a(x,y)
c(x,z)しか知らないと想像してください。したがって 、b(y,z)
も知っていることを明示的に表現するにはどうすれ ばよいでしょうか。これも SuperProperty Of (Chain )、しかし b プロパティの場合は?

私が最初に試してみようと思ったのは:
ao inverse(c) SubPropertyOf b

このProtégéは、サークルがあると言って気に入らなかった。今、私はとても混乱しています。

Protege を使用して、オントロジーから Excel シートにデータをエクスポートする方法。たとえば、クラス rdf:ID、スーパー クラス rdf:ID の 2 つの列を持つテーブルを取得したいと考えています。

私は Protégé 5.1.0 (および HermiT 1.3.8.413 Reasoner) で OWL オントロジーを使用しており、後で OWLAPI 4.1.0 と DL-Query または SPARQL で使用したいと考えています。当面の私の仕事は、特定のオブジェクト プロパティが満たされていないクラスのすべての個体を取得することです。オープン ワールドの前提により、満たされていないオブジェクト プロパティが問題として現れることは通常ありませんが、情報が必要であり、オントロジー全体をチェックするために独自のコードを作成することは避けたいと考えています。

読み取り可能なテキストとタートルコードとして、小さな例を用意しました。

クラス:ピザ,トッピング

オブジェクト プロパティ:持っています

主張:ピザ にはいくつかのトッピングがあります

個人: Pizza1、Pizza2、Topping1、Topping2 (それぞれのクラスの)

アサーション: Pizza1にはTopping1があります

コード：

この場合、オントロジーを照会して、現在 Pizza2 にトッピングがない、つまりオブジェクト プロパティがアサートまたは推論されていないという情報を取得したいと考えています。また、Topping1 が別のクラスに変更された場合、「 Pizza has some Topping」が満足できないため、Pizza1 もクエリに表示されるようにしたいと考えています。

OWLAPIで直接、またはDL-Query/SPARQLを使用してこれを行うエレガントな方法はありますか?

プログラムの OWL オントロジーをテストするためにプロテジを使用しています。エンティティが別のエンティティのサブクラスであるかどうかを [DL クエリ] タブで確認する方法はありますか? オートコンプリート タブはキーワードsubclassを提案しません。

私は Protege (Protege 5.2.0) の初心者です。以下の図のように、いくつかのデータ プロパティをクラスに追加 します。 最後の行に注目しましょう。

次に、このようにDL-Queryを使用しました

クラスが返されることを期待していましたが、返されません。私はこの問題で立ち往生しています。

何か助けてください。