[protege-discussion] suitable reasoner

[Tania Tudorache]

Hi,

Is this a question about OWL reasoners or frame reasoners?

If OWL, then we have a wiki page for how to use the reasoners, which 
also enumerates some of the available reasoners:

http://protegewiki.stanford.edu/index.php/Using_Reasoners

I suggest that you update to the latest Protege 3.4 beta and use the 
direct reasoner, rather than the DIG reasoner (the only one available in 
Protege 3.3.1), which has several limitations (see wiki page for details).

Please ask in future OWL related questions on the Protege-OWL mailing list.

Thanks,
Tania



fateme abdoli wrote:
>
>  
>
> Dear Protege Cohorts
>
>  
>
> I had Protege 3.3.1,  I want to use a reasoner for it, which reasoner 
> is suitable for me.
>
> thanks for your help
>
>  
>
> Best regards
>
> F.Abdoli
>
>
> Send instant messages to your online friends 
> http://uk.messenger.yahoo.com
> ------------------------------------------------------------------------
>
> _______________________________________________
> protege-discussion mailing list
> protege-discussion at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/protege-discussion
>
> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 
>