保护不一致的本体警告

Question

按照此简介youtube.com/playlist?list=PLea0WJq13cnAfCC0azrCyquCN_tPelJN1创建本体。它有点简化http://prntscr.com/bo4l3w我自己添加了canBeTutor（意思是某人可以成为某人的导师）对象属性。据我了解，我可以添加SWRL规则，然后启动推理器来创建新知识。所以我添加了prntscr.com/bo4lk7。我开始使用Hermit推理器prntscr.com/bo4lqx。但获得不一致的本体警告prntscr.com/bo4lu0。单击“解释”按钮并获得以下说明http://prntscr.com/bo4lyg。我在这里是synoparser.ru/onto/protege.owl 你能告诉我这是什么意思吗？ 2.只是为了一般的理解。我读到推理者可以创造新知识。这是指关系，还是个人和阶级？ 3.哪里可以找到读者在Protege 5中添加的知识？

Answer 1

您提供的其中一个图中的解释说明了不一致性。本体论说

• 学生和讲师的课程和脱节（即，没有人可以同时是学生和讲师）
• 研究领域是学生，这意味着如果x研究y，则x是学生
• firstname的域名是Lecturer，这意味着如果x firstname y，则x是讲师

现在，由于Student1有名字Andrew，因此Student1必须是讲师。由于Student1学习cs101，所以Student1必须是学生。但是学生和讲师是不相干的;没有人可以兼得。但是Student1都是。这是不一致的。