Re: Helmet Debugging

Posted by Mehmed on
URL: http://owlready.306.s1.nabble.com/Hermit-Debugging-tp2517p2525.html

Dear JiBa,

Thank you very much for your reply. I indeed try to test my ontology in a simple form as possible, but sometimes it is difficult to get the ontology more simple. Maybe the problem arises from the complexity of the ontology. But I have to deal with them.

 Apart from that, I have another question about Hermit reasoning and the reasoning results.  I reason my ontology on Protege and Owlready2 with Hermit and get different three results.  

I have a static test class Test7 in my ontology, which is defined as equivalent_to "hasGraspingCategory some Power_Grasp".



 I created another test class dynamically on owlready with the same axiom to compare the reasoner results and functionality.



  The reasoner results are different from each other. Can you explain me where the differences come from or what I am doing wrong?



Thank you in advance!