update ontology reasoner