問題タブ [description-logic]

次のようなオントロジーがあります。

• クラスエージェントとクラスアクション
• データ プロパティのリスト (データ プロパティの制限プロパティを継承する) には、(エージェントとアクション) のドメイン UNION と範囲プリミティブ (例 hasMoney、hasTime) があります。

ag はエージェント、ac はアクション インスタンスです。

これらの条件にはいくつかの事柄があることに注意してください。

• 比較は常に同じプロパティ ag.hasTime >= ac.hasTime 間で行われます
• RestrictionProperty を継承するすべての dataProperty は同じ扱いになります。
• この条件を満たすすべてのエージェントは、たとえばクラス AgentRestrictions に属します。

SWRLは標準ではなく、SPARQLでいつでも実行できると読んだので、SWRLを使用したくありません。

SPARQLでできると思いますが、どうすればよいかわかりません。しかし、私は被保護者をクリックするソリューションを好みます。または公理で仕様を作成します。

Protégé 4.3 を使用して OWL の学習を始めたばかりですが、現在、難しい問題に直面しています。各 A が P1 と P2 からのプロパティ値を持ち、各 P1 と P2 が double の値を持つことを保証するいくつかの制限スーパークラスでクラス A を定義しました。

A ⊑ ∃hasProperty.(P1 ⊓ ∃hasValue.xsd:double)
A ⊑ ∃hasProperty.(P2 ⊓ ∃hasValue.xsd:double)

A の P1 値がすべて P2 値よりも小さいと断言するにはどうすればよいですか?

OWLでは、非反射プロパティのサブプロパティも非反射ですか? 同様に、非対称プロパティのサブプロパティも非対称ですか?

論理的にはそうあるべきですが、OWL のドキュメントには、これが事実であることを示しているものは見つかりません。

次の例を検討してください。

このオントロジーに基づくと、 は非反射的であるため、以下は許可されませんparent-of。

しかし、father-of暗黙的に非反射的でもありますか? つまり、これも禁止されます。

プロパティをポイントのペアを接続する矢印のセットと考える場合、非反射的とは、同じポイントで開始および終了する矢印がないことを意味します。サブプロパティは単にこれらの矢印のサブセットであるため、非反射プロパティのサブプロパティも必然的に非反射になります。非対称プロパティも同様です。しかし、繰り返しになりますが、OWL がこれを明示的に説明しているのか、それとも OWL 推論者がこの「仮定」を行うべきなのかはわかりません。

私は hasPart と partOf として構成を持つオントロジーを開発しています。これらのプロパティをいくつかのクラスに使用する必要があります。そのため、ドメインも範囲も指定せずにこれらのプロパティを作成し、クラスに対するフクロウの制限によってそれらを使用します。そうですよね？さらに、partOf は推移的であると読みました。hasPart にも推移的なものを追加する必要がありますか?

次に、hasPart を partOf の逆として定義しました。hasPart でも逆を定義する必要がありますか?

例 ：

警告: 初心者の質問です。

「ふわふわ」など、犬に関連付けられた一連のクラスに関連付けられた数値を使用して、(単純な例として) 犬をモデル化しようとしています。別のタイプ (例: Fluffiness) に対して特定の数値を取る特定のタイプ (例: Dog) を表す方法について混乱しています。例えば：

チワワを、ふわふわなどの犬の一般的なプロパティの特定の値、たとえば 0.1 と関連付けるにはどうすればよいですか? Fluffiness をクラスとしてドロップし、「hasFluffiness」Datatype プロパティを定義するだけに頼らずにそれを行う方法はありますか?

サブプロパティ公理を含む単純なオントロジーがある場合:

「ポール・ピルは模範会議の議長であり、ジャック・ジルは模範会議の参加者だった」と断言したい。書くのは正しいですか：

それとも、Paul Pill が参加者であることを明示的に指定する必要がありますか (hasChair は hasParticipant のサブプロパティですが)。つまり、次のように書く必要がありますか?

すべてのcheesypizzaはチーズをトッピングしたピザであるというオントロジーの非常に単純な公理を仮定しましょう。OWL 表現では、cheeseypizza は has-topping プロパティの制限のサブクラスとして表現されます。ただし、次のトリプル データセット形式で抽出したいと思います。

1. CheesyPizza1 サブクラス Pizza1
2. Pizza1 トッピングあり CheeseTopping1

Pizza1 が Pizza クラスの動的インスタンス化 (オントロジーの Pizza クラスの真の個体ではなく、トリプル形式で記述している間の単なる確率変数) であり、同様に、CheesyPizza1 が CheesyPizza クラスの動的インスタンス化であり、CheesyTopping1 が動的インスタンス化であると仮定します。 CheeseTopping クラスのインスタンス化。

上記の表現を取得するにはどうすればよいですか？

次のインスタンス データとプロパティ公理があるとします。

メアリーの子供ジョン・
ベンの子供トム・
メアリーの夫ベン

hasHusbandChild: hasHusband • hasChild

次のようなプロパティhasChildsを作成するにはどうすればよいですか。

hasChilds: hasChild ⊔ hasHusbandChild

本当ですか？