Produce the current terminological inferences of an ontology