GOSlimmer is a Java application that converts a set of annotations from the full GO version to a given GOSlim version.
It requires:
GOSlimmer can also be applied to other pairs of OWL/OBO ontologies where one is a subset of the other and you want to convert annotations from the larger to the smaller one.