Can you demo how to use Hermit reasoner for Ontology?

Posted by Hao on
URL: http://owlready.306.s1.nabble.com/Can-you-demo-how-to-use-Hermit-reasoner-for-Ontology-tp10.html

I have a set of ontologies downloaded from BioPortal. To use them, I want to apply Hermit reasoner on those are asserted-only ontologies to get the inferred version, so I can work with.

Could you give a hint how to check whether an ontology is asserted or inferred ,and apply reasoner if it is not reasoned yet?

Thank you.