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

您提供的其中一幅圖中的解釋解釋了不一致性。本體論說，

• 類學生和講師和不相交（即，沒有任何個人可以同時是學生和講師）
• 的研究領域是學生，這意味着如果x研究Y，那麼x是學生姓名的
• 所訪問講師，這意味着如果x姓y，則x是一個講師

現在，由於Student1有名字安德魯，Student1必須是講師。由於Student1學習cs101，因此Student1必須是學生。但學生和講師不相交;沒有哪個人可以兼而有之。但是Student1是兩個。這是不一致的。