HermiT reasoner (HermiT-20140621, nightly build)