Re: Helmet Debugging

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

Hi,

It seems that some individuals are missing in the second class.

This might be related to the fact that the two classes Test7 and test_class are also equivalent. This implies that inferring that X is a test_class can be considered as a trivial inferrence by the reasoner if X is already a Test7.

However, .instances() do not take equivalent classes into account -- this is a problem I fixed a few days ago in the development version of Owlready (on Bitbucket). Could you try the development version and see if you obtain the same results?

Jiba