[Pellet-users] reasoning took too long

[Thorsten Liebig]

Hi Haujun,

I just filled the mentioned ontology into pellet 1.4 using the following command:
pellet.sh -if http://neuroweb.med.yale.edu/senselab/neuron_ontology.owl -c TREE -r -timing

It took less than a minute to classify (Linux Dual Core AMD Opteron 2.2 GHz).
The result is attached.

Regards
Thorsten

Huajun Chen @ Zhejiang University schrieb:
> 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
>  
>    
> 
> 
> ------------------------------------------------------------------------
> 
> _______________________________________________
> Pellet-users mailing list
> Pellet-users at lists.owldl.com
> http://lists.owldl.com/mailman/listinfo/pellet-users
> _______________________________________________
> 
> Sponsored by Clark & Parsia, LLC http://clarkparsia.com/

-- 
___________________________________________________________________________
Dr. Thorsten Liebig                     Institut für Künstliche Intelligenz
Tel.: +49 731 502 4207  Fakultät für Ingenieurwissenschaften und Informatik
Fax.: +49 731 502 4119                                      Universität Ulm
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: neuron_ontology-r.txt
Url: http://lists.owldl.com/pipermail/pellet-users/attachments/20070509/66475d29/attachment-0001.txt