The HermiT OWL Reasoner
Hypertableau Reasoning for Description Logics