問題タブ [dlquery]

Protege でネストされた DL クエリを作成したいと考えています。次のような単純なクエリを実行できます。

Person と hasFather 値 PersonA

父親が PersonA であるすべての人の名前を取得します。しかし、 PersonA の値も次のようなクエリから取得する必要があります

Person と hasFather 値 (Person と hasSon 値 PersonB)

Protege で構文エラーが表示されます。正しいフォーマットを教えてください。

Java で DL クエリ パーサーを作成しています。メソッド getObjectPropertyValues() を使用する必要があります。Java で文字列を OWL オブジェクト プロパティ式に変換する方法について、サンプル コードを教えてください。

Java で DL クエリ パーサーを作成しています。入力としてクラス名を指定すると、コードは正しい出力を返しますが、「hasColor value Red」や「hasSugar value Dry」などのクエリを指定すると、何も返されません。私は OWLAPI を使用しています。

私はプロトゲに非常に慣れていないので、ピザのオントロジーをいじっています。

特定の数、種類、またはトッピングを含むピザのリストを取得する方法は知っていますが、それ以外の場合はどうすればよいですか?

特定のピザのトッピングのリストを取得するにはどうすればよいですか? または、そのようなクエリに SPARQL を使用する必要がありますか?

例: アメリカン ピザのすべてのトッピング。

「isToppingOf some American」を試してみましたが、うまくいかないようです。

isToppingOf は hasTopping の逆なので、うまくいくはずだと思っていましたが、誤解しているのではないでしょうか?

ありがとう！！

TBoxのみ（個体なし）を考慮したOWL-DLオントロジーを考えてみましょう

表現

サブクラスとして返さChinesefamilyれますSterileChinesefamily

Chinesefamilyさて、0 個または 1 個の子を持つ可能性がある ( ) が、厳密に 0 個の子を持つべきではない( SterileChinesefamily)クラスを指定する方法

私は試した

それは何も返しません！

============= 更新 =============

ご注意ください

私が意図したものではありません。代わりに、私が意味するのは、次のサブクラスであるクラスです。

1. 個人が 1 人または 0 人の子を持つことを許可されているクラス ( Chinesefamily)。
2. AND
3. NOT個々のクラスが正確に 0 の子を持たなければならないクラス ( SterileChinesefamily)。

(実際には、私は TBox のみを考慮します (個人は考慮しません)。ただし、この更新は明確にするためのものです)。

クラス A に属する個人が、クラス B のすべての個人と少なくとも 1 つの関係を持っているかどうかを確認したいと考えています。

希望する DL クエリ結果を得る適切な式を見つけるのに問題があります。以下の例では:

個人の場合: CourseA および CourseB、私は次のプロパティをアサートしました:

個々の John については、次の 3 つのプロパティがアサートされました。

個人型も追加しました

OWA の問題に対処します。

John が UG_CE に必要なすべてのコースに登録しているかどうかを知りたいのですが、John はすべてのコースと追加のコースに登録していることに注意してください。

Reasoner を呼び出した後、次のクエリでは目的の結果が得られません。

「のみ」は関係の正確な数を定義することに制限されているため、意図した目的には役立ちません。また、コースの数は推測され、事前にわからないため、Max または Min を使用できません。

別のアプローチで問題を解決できますか?