I'm using Protégé 4.3 and I want to save the results of the reasoner to the ontology file. When I stopped the reasoner, all results disappeared.
How can I save results?
Ignazio
In Protégé, use File → Export inferred axioms as ontology…
That should do what you're looking for.
来源：https://stackoverflow.com/questions/23079459/how-save-the-result-of-reasoner-fact-or-hermit-in-protege