[Pellet-users] Slow reasoning & getting status info

[Holger Knublauch]

I had two requests from users who have run into a situation in which 
Pellet seems to run for a couple of minutes and it is hard to say why. 
As I am not at all a DL person, Pellet is pretty much a black box for 
me.  Is there a way to get some status information while Pellet is 
running?  Can the logging be configured so that end-users of a tool like 
TopBraid get some information what declarations in their model cause the 
system to seemingly hang?  One particular ontology that takes very long 
to classify is  http://www.estrellaproject.org/lkif-core/lkif-core.owl

Thanks,
Holger