Four more ontologies slimmed