Protege 不一致的本体警告
Protege inconsistent ontologies warning
按照这个介绍 youtube。com/playlist?list=PLea0WJq13cnAfCC0azrCyquCN_tPelJN1 创建了 ontology。稍微减少了 http://prntscr.com/bo4l3w and I added canBeTutor (meaning somebody can become tutor for somebody) object property on my own. As far as I understand, I can add SWRL rules and then launch reasoner to create new knowledge. So I added prntscr.com/bo4lk7 . I started Hermit reasoner prntscr.com/bo4lqx . But obtained inconsistent ontologies warning prntscr.com/bo4lu0 . Clicked Explain button and got the following explanation http://prntscr.com/bo4lyg 。我的作品在这里 synoparser.ru/onto/protege.owl
1.请问是什么意思？
2. 仅供一般理解。我读到 reasoner 可以创建新的 knowledge。那是指关系，还是指个人和 类？
3. 我在哪里可以找到在 Protege 5 中添加了 knowledge 的 readoner？
您提供的其中一张图中的解释解释了不一致之处。 ontology 表示
- 类 学生和讲师并且不相交（也就是说，没有人可以同时是学生和讲师）
- 学习的领域是Student，也就是说如果x学习y，那么x就是Student
- firstname 的域是 Lecturer，这意味着如果 x firstname y，则 x 是 Lecturer
现在，由于 Student1 的名字是 Andrew，Student1 必须是讲师。既然Student1学习的是cs101，那么Student1一定是Student。但是 Student 和 Lecturer 是不相交的；没有人可以兼而有之。但 Student1 两者兼而有之。这是一个不一致。
按照这个介绍 youtube。com/playlist?list=PLea0WJq13cnAfCC0azrCyquCN_tPelJN1 创建了 ontology。稍微减少了 http://prntscr.com/bo4l3w and I added canBeTutor (meaning somebody can become tutor for somebody) object property on my own. As far as I understand, I can add SWRL rules and then launch reasoner to create new knowledge. So I added prntscr.com/bo4lk7 . I started Hermit reasoner prntscr.com/bo4lqx . But obtained inconsistent ontologies warning prntscr.com/bo4lu0 . Clicked Explain button and got the following explanation http://prntscr.com/bo4lyg 。我的作品在这里 synoparser.ru/onto/protege.owl 1.请问是什么意思？ 2. 仅供一般理解。我读到 reasoner 可以创建新的 knowledge。那是指关系，还是指个人和 类？ 3. 我在哪里可以找到在 Protege 5 中添加了 knowledge 的 readoner？
您提供的其中一张图中的解释解释了不一致之处。 ontology 表示
- 类 学生和讲师并且不相交（也就是说，没有人可以同时是学生和讲师）
- 学习的领域是Student，也就是说如果x学习y，那么x就是Student
- firstname 的域是 Lecturer，这意味着如果 x firstname y，则 x 是 Lecturer
现在，由于 Student1 的名字是 Andrew，Student1 必须是讲师。既然Student1学习的是cs101，那么Student1一定是Student。但是 Student 和 Lecturer 是不相交的；没有人可以兼而有之。但 Student1 两者兼而有之。这是一个不一致。