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

Question

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?

score 2 · Accepted Answer · edited Sep 10 '14 at 13:23

2

In Protégé, use File &rightarrow; Export inferred axioms as ontology…

That should do what you're looking for.

edited Sep 10 '14 at 13:23

Joshua Taylor

answered Apr 16 '14 at 06:26

Ignazio

1 Answers1