HermiT reasoner (HermiT-20140622, nightly build)