I am using Protégé 4.0 with the FaCT++ reasoner on and I am inspecting the attached knowledge base (university1.owl). When I try to see information about some individuals (Students for instance), Protégé freezes. I built a java program which uses FaCT++ as the reasoner and when I try to get the object property of given Student individuals, it freezes as well. Here is the function: reasoner.getObjectPropertyRelationships(individual).

It is a known problem: FaCT++ spend too much time in calculating all the relations of a given individual. The situation is better with current SVN code; we plan to improve it even more soon.

PS. there is no attachment

Hi Dmitry, sorry for the delay. Here is the attachment.

Fixed in 1.4.0