問題タブ [manchester-syntax]

Protege 5にOWL オントロジーがあります。いくつかの DL クエリを実行しようとすると

これにより、objectProperty DropOff によって厳密に 1 対 1 のカーディナリティによって関連付けられたすべてのクラスが返されます。

ペレット推論を使用すると、「この推論は名前付きクラスをサポートしていません」という例外が発生します。Hermit reasonerを使用している間は問題ありません。

名前付きクラスは、参照 URL を持つクラスであることを知っています。ここに私のポイントがあります：

• 名前のないクラスを使用する背後にあるセマンティックは何ですか?
• 名前付きクラスがペレットでサポートされていないのはなぜですか?
• 私のクエリは、ペレットに受け入れられるような方法で表現できますか?

ありがとう。

個体のない OWL オントロジーがあります。与えられた 2 つのクラス

と

クエリはどのように見えますか? 次のようなすべてのプロパティ チェーンを見つけるために、どのタイプの推論を使用できますか?

ここで、Cs は PropertyP のドメインで、Cd はその範囲です。Chain は、この推論が推移的でなければならないことを意味します。

次に、{PropertyP1, PropertyP2} は、Cs と Cd の間のプロパティ チェーンと見なす必要があります。

OWL2 のようなプロパティ チェーンについて話しているわけではないことに注意してください。OWL2の場合、このチェーンを事前に定義する必要がありますが、私の場合はそうすることができません。

次の値のいずれかを想定できるデータ プロパティhasCodeがあります。

• 「1i」
• 「2i」
• 「3i」
• 「4i」

この制限を取得するために記述しなければならない式は何ですか?

どうもありがとう

私はいくつかの公理を含むフクロウファイルを持っています:

上記の 2 つの公理では、protege は読み取り可能な文字列を次のように表示します。

問題は、protege が OWL ファイルからこれらの読み取り可能な文字列をどのように生成するかです。

また、これらの文字列から新しい公理を作成したい場合、どうすればよいですか? (公理を読み取り可能な文字列に変換してから、読み取り可能な文字列を公理に戻す)

OWL AXIOM 式:

与えられた : owl:class スポーツ

出力:既存の owl:object プロパティに加えて、値 Peter を持つ owl:object プロパティplayerをタイプ owl:class sport のすべてのインスタンスに追加したいと考えています。つまり、タイプ owl:class sport のすべての個体は、値 Peter で継承されたこのオブジェクト プロパティを持つ必要があります。

私が最初に考えたのは、それを一般クラス公理で表現することでした。ここで、これが a)可能かどうか、 b) Jena で isntance の SPARQL 更新クエリを使用して実行する方がよいかどうかはよくわかりません。何をするようにすすめますか？そして、このような一般的なクラス公理は、フクロウ マンチェスター構文の例として、どのように見えるでしょうか。