owl - Pellet でピザのオントロジーをクエリする

Question

Pellet reasonerを使用してこれらのクエリを実行するにはどうすればよいですか?

1. アメリカからのすべてのピザを取得します (hasCountryOfOriginプロパティ経由)。
2. ほうれん草をトッピングしたすべてのピザを入手します (hasToppingプロパティ経由)。

このテーマに関する例や情報が見つかりません。

Answer 1

この種のクエリを実行する最も簡単な方法は、Protégé-OWLオントロジー エディターを使用することです。Pellet は Protégé の推論プラグインとして利用でき、Manchester OWL 構文を使用して Protégé で DL (記述ロジック) クエリを作成できます。(実際、Protégé が受け入れる構文は、Manchester OWL 構文とは少し異なりますが、この 2 つは十分に近いため、おそらく問題に遭遇することはありません。)

ピザ オントロジーをダウンロードしたら、Protégé で開くことができます。Reasonerメニューを使用して、Pellet reasoner を選択します。次に、Reasonerメニューの下で、 Start Reasonerを選択します。これで、ペレットはオントロジーについて推論し、いくつかの質問に答える準備が整いました。[ DL クエリ] タブに移動すると、クエリを入力できるようになります。CO-ODEマンチェスター構文ページの例は、開始するのに役立ちます。必要に応じて、すべての詳細が記載されたマンチェスター構文に関する W3C ワーキング グループ ノートがあります。Protégé にもっと直接関連するのは、Protégé wiki のDL Query Tab記事です。

クエリは、次の 2 つのマンチェスター クラス式で表すことができます。

1. hasCountryOfOrigin value America
2. hasTopping some SpinachTopping

Protégé では、結果は次のようになります。

[個人] チェックボックスが選択されていますが、ピザ オントロジーは、出身国がアメリカである個人を定義していません。ただし、 のサブクラスである 2 つのクラスがありhasCountryOfOrigin value America、これらは、当然のことながら、クラスAmericanとAmericanHotです。

同様に、ピザ オントロジーで定義されたほうれん草のトッピングを持つ個体はありませんが、クラスFlorentinaは のサブクラスです。つまり、 のhasTopping some SpinachTopping各インスタンスにFlorentinaはほうれん草のトッピングがあることを意味します。