Предупреждение несовместимых онтологий Protege

Question

Последовал за этим вводом youtube.com/playlist?list=PLea0WJq13cnAfCC0azrCyquCN_tPelJN1 для создания онтологии. Это немного уменьшено http://prntscr.com/bo4l3w, и я добавил canBeTutor (что означает, что кто-то может стать репетитором для кого-то) объекта объекта самостоятельно. Насколько я понимаю, я могу добавить правила SWRL, а затем запустить разум для создания новых знаний. Поэтому я добавил prntscr.com/bo4lk7. Я начал объяснять Эрмита prntscr.com/bo4lqx. Но полученные непоследовательные онтологии предупреждают prntscr.com/bo4lu0. Нажмите кнопку «Объяснить» и получила следующее объяснение: http://prntscr.com/bo4lyg. Мой на здесь synoparser.ru/onto/protege.owl 1. Не могли бы вы рассказать, что это значит? 2. Просто для общего понимания. Я читал, что разумник может создавать новые знания. Означает ли это справедливые отношения, а также отдельные лица и классы? 3. Где я могу найти добавленные знания readoner в Protege 5?

Answer 1

Объяснение в одной из представленных вами цифр объясняет несогласованность. Онтология говорит, что

• классы Студент и преподаватель и не пересекаются (то есть, что ни один человек не может быть как студент и преподаватель)
• область исследований является студент, который означает, что если исследования х у, то х Студент
• области FirstName является преподавателем, который означает, что если х Firstname у, то х лектор

Теперь, поскольку Student1 имеет Firstname Эндрю, Student1 должен быть преподавателем. Поскольку Student1 изучает cs101, Студент1 должен быть Студентом. Но ученик и лектор не пересекаются; ни один человек не может быть и тем, и другим. Но Student1 - это и то, и другое. Это непоследовательность.