minor changes in ontology reasoning