Design and development of an integrated formal ontology for fungal genomics