[Pellet-users] reasoning took too long

[Huajun Chen @ Zhejiang University]

Hi,

   We are using pellet 1.4.1 to check the consistence of an ontology we are developing. You can download it from http://neuroweb.med.yale.edu/senselab/neuron_ontology.owl.

   
   For those classes such as CA1_pyramidal_neuron_with_I_T_low_threshold_current_in_Soma, we in the beginning used necessary and sufficient description (equivalent class). 
Later we changed them into necessary definition (subclass). Using pellet to check the former one took around 5 minutes, but for the latter one it took unacceptablly several hours.

   I reported this to the list, with the hope that somebody could give some hints on the reason and suggestions?

Best regards!
-Huajun

   
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20070509/14ef59d2/attachment.htm