0

Followed this intro youtube.com/playlist?list=PLea0WJq13cnAfCC0azrCyquCN_tPelJN1 to create the ontology. It is a little reduced 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 . My onto is here synoparser.ru/onto/protege.owl 1. Could you please tell what that mean? 2. Just for general understanding. I read that reasoner can create new knowledge. Does that mean just relations, or also individuals and classes? 3. Where can I find readoner added knowledge in Protege 5 ?

4

1 回答 1

2

您提供的其中一张图中的解释解释了不一致之处。本体说

  • Student 和 Lecturer 类和不相交的类（也就是说，没有人可以同时是 Student 和 Lecturer）
  • 研究的领域是学生，这意味着如果 x 研究 y，那么 x 是学生
  • firstname 的域是 Lecturer，这意味着如果 x firstname y，则 x 是 Lecturer

现在，由于 Student1 的名字是 Andrew，因此 Student1 必须是讲师。由于 Student1 学习 cs101，那么 Student1 必须是学生。但是学生和讲师是不相交的；没有一个人可以两者兼而有之。但 Student1 两者兼而有之。那是不一致的。

于 2016-07-04T16:12:48.433 回答