ELepHant: An OWL 2 EL Reasoner