問題タブ [description-logic]

オントロジーを定義するためにドメイン、範囲、および制限を使用する適切な方法について疑問があります。「学生は身分証明書を 1 つだけ持っていなければならない」ということを表現したい場合、次のいずれかを行うことができると思います。

1. プロパティのドメインと範囲を定義し (例: :hasId rdfs:domain :Student; rdfs:range :Identification)、プロパティを機能させます。

2. プロパティを定義し、生徒クラスに「hasId 正確に 1 つの ID」という制限を作成します。

セマンティクスの観点から、これらは同じことを意味しますか? もしそうなら、慣習やベストプラクティスに関して好ましいオプションはありますか? 最後に、データ型プロパティにも同じことが当てはまりますか? ドメイン/範囲を単純に定義できますか、またはクラスに制限を作成してプロパティにリンクする必要がありますか?

私はOWLにかなり慣れていないので、まだ制限を学んでいます。私はこれらのステートメントをモデル化しようとしています:

1. 人 (P) は男性 (M) または女性 (F) になることができますが、両方ではありません
2. 人は男性または女性でなければなりません
3. 男は服を着ない
4. 女性は少なくとも 1 つのドレスを持っている (D)

これまでのところ、次のようにモデル化しました。

男性または女性でなければならないという制限を追加する方法と、男性がドレスを着ていないことを示す方法について、私は混乱しています. また、一般的なモデリングについても確信が持てず、フィードバックをいただければ幸いです。

私のオントロジーには、Player、Team、およびCompetitionの 3 つのクラスがあります。また、2 つのオブジェクト プロパティ、Employs、およびCompetitionsInもあります。EmploysのドメインはTeamであり、範囲はPlayerであり、 compitesInのドメインはTeam または Playerであり、範囲はCompetitionです。

プレーヤーがチームに雇用されていて、そのチームがコンペティションに参加する場合、プレーヤーもそのコンペティションに参加することをオントロジーに推論させたいと考えています。この情報をオントロジーに追加する方法はありますか? オントロジー内のすべての個人に対して {Player} の競合する {競争} を入れずに、この情報をオントロジーに追加する方法はありますか?

オントロジーで次のモデルを作成しました。

Club は一部の Player を採用し、Player hasNationality は Nationality、Player hasNationalStatus の値は National_Player、Country は Nationality と同等です。

オントロジーに次のように推論してもらいたい:

Player が Nationality を持っていて、Player hasNationalStatus の値が National_Player の場合、Country (プレイヤーが持っている国籍と同じ) は Player を雇用します。

例として：

{Steven_Gerrard} は Nationality 値が England であり、{Steven_Gerrard} は NationalStatus 値が National_Player であるため、{England} は [Steven_Gerrard] を採用しています。

この知識を Protege に追加する方法はありますか?

ありがとう。

編集：

エラー メッセージ:

エラー 42 は、2014 年 4 月 1 日火曜日 20:49:24 BST に記録されました。

OWLReasonerRuntimeException: 非単純なオブジェクト プロパティ ' http://www.semanticweb.org/u1cjd/ontologies/2014/1/untitled-ontology-2#employs ' が単純なものとして使用されています

と

2014 年 4 月 1 日火曜日 20:49:24 BST に記録されたエラー 43 ReasonerInternalException: tRole.cpp:243: assertion 'Ancestor.empty() && Descendant.empty()' fails