search

HefesT / factplusplus

Automatically exported from code.google.com/p/factplusplus
0 stars 0 forks source link

Problem with Protégé 4.0 #17

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 
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).

Original issue reported on code.google.com by luc.voul...@gmail.com on 21 Sep 2009 at 1:29

GoogleCodeExporter commented 8 years ago 
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

Original comment by dmitry.t...@gmail.com on 21 Sep 2009 at 1:51

GoogleCodeExporter commented 8 years ago 
Hi Dmitry, sorry for the delay.  Here is the attachment.

Original comment by luc.voul...@gmail.com on 10 Nov 2009 at 8:55

Attachments:

GoogleCodeExporter commented 8 years ago 
Fixed in 1.4.0

Original comment by dmitry.t...@gmail.com on 17 May 2010 at 2:54