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是两个。这是不一致的。