按照下面的介绍youtube.com/playlist?list=PLea0WJq13cnAfCC0azrCyquCN_tPelJN1创建本体。这是一个小减少http://prntscr.com/bo4l3w，我添加了canBeTutor(意思是某人可以成为某人的导师)对象属性在我自己。据我所知，我可以添加SWRL规则，然后启动推理器来创建新的知识。所以我加了prntscr.com/bo4lk7。我开始隐士推理prntscr.com/bo4lqx。但获得不一致的本体警告prntscr.com/bo4lu0。点击Explain按钮，得到如下解释http://prntscr.com/bo4lyg。我的目标是在这里synoparser.ru/onto/protege.owl1. 你能告诉我那是什么意思吗?2. 只是做个大概的了解。我读到推理者能创造新知识。这是指关系，还是指个人和阶级?3.我在哪里可以找到Protege 5中的readoner添加的知识?
您提供的其中一个图中的解释解释了这种不一致。本体论说
- 学生和讲师的类别和分离(也就是说，没有人可以同时是学生和讲师)
- 的研究领域是学生，这意味着如果x研究y，那么x是学生
- firstname的域是讲师，这意味着如果x的名字是y，那么x是讲师
现在，因为Student1的名字是Andrew，所以Student1一定是讲师。既然学生1学习cs101，那么学生1一定是学生。但学生和讲师是脱节的;没有人能两者兼得。但是学生1两者都是。