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

1.6k views Asked by At

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?

1

There are 1 answers

0
Ignazio On BEST ANSWER

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

That should do what you're looking for.