How save the result of reasoner FaCT++ or HermiT in Protege

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?

Solution

In Protégé, use File → Export inferred axioms as ontology…

That should do what you're looking for.

Convert a Jena ResultSet to Model
How would you model that a potential relationship exists between two classes, but doesn't always?
OWL2 Ontology creates a "ghost" RDFS ontology due to missing `#`
What does rdfs:domain and rdfs:range mean?
How the pattern of URIs for an rdf graph should look like
Uploading large RDF data to Apache Jena Fuseki server using python - form too large error
Correctly expanding xml namespaces without defined end character into valid URIs
What is the difference between dublin core terms and dublin core elements vocabularies
How to create an ontology from raw data (CSV)?
SPARQL Multi-Valued properties - Rendering Results
Is there a way to represent temporal data in RDFs?
URI scheme for URI schemes
When to use rdf:Type vs rdfs:subClassOf
Searching for a naming convention for properties in an OWL ontology when coming from an UML Model
Converting UML to OWL Ontology
boundary for arbitrary property path in SPARQL 1.1
Does the set LV only contains untyped literals?
Remove extra parameters from framed JSON-LD
units of measurement in owl and rdf
Match freebase MID to real expression
Granular control over JSON-LD embeddings
Virtuoso bulk insert failed
How to get all inverse properties using SPARQL?
Defining Protege class with expression of numerical data
OWL subClassOf restrictions: why use them?
Is the Knowledge Graph and the Linked Open Data the same thing?
Best practice to use urn namespace in rdf
How can I express additional information (time, probability) about a relation in RDF?
How to semantically tag poem text?
Wikidata SPARL query by generic property return object instead of statement