If you are still in search for a Python library to use HermiT and other java reasoners for ontology reasoning (including consistency checking), you can consider owlapy