0

このイントロ youtube.com/playlist?list=PLea0WJq13cnAfCC0azrCyquCN_tPelJN1 に従って、オントロジーを作成しました。http://prntscr.com/bo4l3wを少し減らして、自分で canBeTutor (誰かが誰かの家庭教師になれるという意味) オブジェクト プロパティを追加しました。私が理解している限りでは、SWRL ルールを追加してから推論を起動して、新しい知識を作成できます。そこで、 prntscr.com/bo4lk7 を追加しました。Hermit reasoner prntscr.com/bo4lqx を開始しました。しかし、一貫性のないオントロジー警告 prntscr.com/bo4lu0 を取得しました。[説明]ボタンをクリックすると、次の説明が表示されましたhttp://prntscr.com/bo4lyg. 私の on はこちらです synoparser.ru/onto/protege.owl 1. 意味を教えてください。2. 一般的な理解のために。推理者は新しい知識を生み出すことができると読みました。それは単に関係を意味するのでしょうか、それとも個体とクラスを意味するのでしょうか? 3. Protege 5 の読者向け追加知識はどこにありますか?

4

1 に答える 1

2

あなたが提供した図の1つの説明は、矛盾を説明しています。オントロジーは言う

  • クラス Student と Lecturer と分離 (つまり、どの個人も Student と Lecturer の両方になることはできない)
  • 研究のドメインは学生です。つまり、x が y を研究する場合、x は学生です。
  • firstname のドメインは Lecturer です。つまり、x firstname y の場合、x は Lecturer です。

ここで、Student1 のファーストネームは Andrew であるため、Student1 は講師でなければなりません。Student1 は cs101 を勉強しているので、Student1 は Student でなければなりません。しかし、学生と講師は互いに素です。個人が両方になることはできません。しかし、Student1 は両方です。それは矛盾です。

于 2016-07-04T16:12:48.433 に答える