On the Application of Formal Principles to Life Science Data: a Case Study in the Gene Ontology