Protegeの一貫性のないオントロジーの警告

Question

オントロジを作成するには、この紹介の後に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。私の上にはここにsynoparser.ru/onto/protege.owl 1.その意味を教えてください。 2.一般的な理解のため。推理家は新しい知識を生み出すことができると私は読む。それは単に関係、あるいは個人やクラスを意味するのでしょうか？ 3.読者がProtege 5で知識を追加した場所はどこですか？

Answer 1

提供された図の1つの説明は、不一致を説明しています。オントロジーはその

• クラスの学生と講師と互いに素（つまり、何の個人が学生と講師の両方になることはできませんということ）を意味
• 研究のドメインが学生である、というのx研究のyの場合は、言いますその後、xはFIRSTNAMEのドメインがx FIRSTNAME yを場合、xは今講師

であることを意味講師、ある学生

あるSTUDENT1はFIRSTNAMEアンドリューを持っているので、STUDENT1は講師でなければなりません。 Student1はcs101を研究するので、Student1はStudentでなければなりません。しかし、学生と講師は分かれています。どちらも個人ではありません。しかし、Student1は両方です。それは矛盾です。