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!