Problem with Protégé 4.0

[Dmitry Tsarkov]

Original [issue 17](https://code.google.com/p/factplusplus/issues/detail?id=17) created by dtsarkov on 2009-09-21T13:29:46.000Z:

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).

[Dmitry Tsarkov]

Comment [#1](https://code.google.com/p/factplusplus/issues/detail?id=17#c1) originally posted by dtsarkov on 2009-09-21T13:51:19.000Z:

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

[Dmitry Tsarkov]

Comment [#2](https://code.google.com/p/factplusplus/issues/detail?id=17#c2) originally posted by dtsarkov on 2009-11-10T20:55:50.000Z:

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

[Dmitry Tsarkov]

Comment [#3](https://code.google.com/p/factplusplus/issues/detail?id=17#c3) originally posted by dtsarkov on 2010-05-17T14:54:53.000Z:

Fixed in 1.4.0