Protege and first order logic

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

Protege and first order logic

Zhu Zhu
 Hi, everyone!

   I am newer for Protege. I have some questions about the  Protege and
first order logic:

   1. Is it possible to construct ontology using first order logic (in
   mathematics,  S (N-->b)) in Protege? If can, how to do it? Any  examples?
   2. Can Protege changes the other format ontology (e.g. owl)  to first
   order logic format? If can, how to do it? Any introductions?

   Thank you very much for your answer and waiting your rely!

Best Regards
/Xiaozhu

-------------------------------------------------------------------------
To unsubscribe go to http://protege.stanford.edu/community/subscribe.html