Added HermiT reasoner because Jena did a poor job detecting problems.