In protege, after classified the inferred class hierarchy find errors that the equivalent classes of some classes point to Nothing. why? i had follow the tutorial build the Pizza ontology step by step and checked twice.
Maybe, some rule may cause that.
Please see the example pictures.
I defined "Dog as {not(Human)}" and "Dog as {not(Human) and not(Superman)}". Note that I also defined "Human as {not(Superman)}".
The result of reasoning on "Dog as {not(Human) and not(Superman)}" will be "Nothing". I think that because there is nothing to be same.
If I am wrong, please feel free to comment.
Thank you very much.
Yes, the explanation provided by Protege can help to determine the earliest problem. Advisably, enable Reasoner (active) and refresh it from time-time during your ontology development to avoid missing the point it becomes inconsistent.
All the best.
Thanks all of you! With you help, i checked the Pizza ontology again and found that Pizza and PizzaBase both have the same superclass expression, then deleted it and fixed the problem.
- Badges
- Science topic
- Similar topics
- Mathematical Sciences
- Graphs