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

2
votes

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
semantic-webowlprotegefact++

1 Answers

2
votes

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

That should do what you're looking for.