Reasoner shut down the Protege

classic Classic list List threaded Threaded
3 messages Options
Reply | Threaded
Open this post in threaded view
|

Reasoner shut down the Protege

Hamizah Hamka

Hye team of experts.
I would like to ask about the reasoners problem.
Whenever i run the Hermit, it fail to proceed,
then i change to run Fact++ reasoner, and it shut down the entire Protege tools.
What am i supposed to do with these problem?
Need your opinion regarding this matters.
Thanks in advance



--
“Time is like a sword: if you don’t cut it, it will cut you. Second is yourself: if you don’t busy it with right, it will busy you with wrong.” --Imam Shafi'i


Best Regards,

Nurhamizah Binti Mohd Hamka


_______________________________________________
p4-feedback mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/p4-feedback
Reply | Threaded
Open this post in threaded view
|

Re: Reasoner shut down the Protege

Timothy Redmond
On 10/08/2013 11:35 PM, mieza hamka wrote:

Hye team of experts.
I would like to ask about the reasoners problem.
Whenever i run the Hermit, it fail to proceed,

So this is something that needs to be more precisely defined.  But when starting a reasoner, it is not uncommon, for large or complex ontologies, that the reasoner will take a long time to initialize. Once the reasoner has initialized it will hopefully perform much better.

Also, for different ontologies, different reasoners have different performance characteristics.  For example, if you click File->Check for plugins, you will see that you can download and install other reasoners such as the pellet and RacerPro.

If, on the other hand, the slow-down is happening after the initialization of the reasoner completes, then there is a different solution that is described here:

                     http://www.youtube.com/watch?v=qnC6x4iZFyw


then i change to run Fact++ reasoner, and it shut down the entire Protege tools.

This can happen because FaCT++ is written in C++ and is thus not as stable as programs written in java.  This periodically comes up as an issue with the Protege group where we debate whether the FaCT++ plugin should be included in the Protege desktop client when it can and does cause the Protege desktop to crash.  A possible alternative to the FaCT++ reasoner is the JFact DL reasoner whose project page can be found here:

                       http://jfact.sourceforge.net/

-Timothy

What am i supposed to do with these problem?
Need your opinion regarding this matters.
Thanks in advance



--
“Time is like a sword: if you don’t cut it, it will cut you. Second is yourself: if you don’t busy it with right, it will busy you with wrong.” --Imam Shafi'i


Best Regards,

Nurhamizah Binti Mohd Hamka



_______________________________________________
p4-feedback mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/p4-feedback


_______________________________________________
p4-feedback mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/p4-feedback
Reply | Threaded
Open this post in threaded view
|

Re: Reasoner shut down the Protege

Hamizah Hamka
Thank yor Sir Timothy for the reply.
I seem to realize that whenever i add more individuals in the ontology,
the reasoner take so much time to initialize.
If i deleted some, it run just fine.
This is for Hermit.
But, anyway thanks for the explanation.
Keep up the good work team Protege. 
May God ease.


“Time is like a sword: if you don’t cut it, it will cut you. Second is yourself: if you don’t busy it with right, it will busy you with wrong.” --Imam Shafi'i


Best Regards,

Nurhamizah Binti Mohd Hamka



_______________________________________________
p4-feedback mailing list
<a href="javascript:_e({}, &#39;cvml&#39;, &#39;p4-feedback@lists.stanford.edu&#39;);" target="_blank">p4-feedback@...
https://mailman.stanford.edu/mailman/listinfo/p4-feedback



--
“Time is like a sword: if you don’t cut it, it will cut you. Second is yourself: if you don’t busy it with right, it will busy you with wrong.” --Imam Shafi'i


Best Regards,

Nurhamizah Binti Mohd Hamka
MC113037
Hp No : 012-5377113/017-7318984
Master in Science (Software Engineering)
Faculty of Computing
Universiti Teknologi Malaysia
Skudai, Johor


_______________________________________________
p4-feedback mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/p4-feedback