update ontology reasoner
sync

rt
sync

rt
Merge branch 'master' of https://github.com/Jtester2013/Jtester