I was using protege(4.3 and 5.) finely. Suddenly, the reasoner stop working
and the logs were raising these exeptions for all ontology and in both
versions of protege. Could you please help me stopping this exception
/***** in protege 4.3*****/
Thank you for your answer. But I have already been and still using Protégé
5.2. The reasoner does not run in both versions of protégé. I don't know
what to do to solve this issue (the reasoner does not work).