The tool Protégé has a reasoner, which checks the correctness of the ontology. It should be applied regularly in order to check any errors. | The tool Protégé has a reasoner, which checks the correctness of the ontology. It should be applied regularly in order to check any errors. |