Use the given input ontology and not the reformulated one to consider
also equivalences