minor changes, update Jena reasoner