update ontology reasoning