Gravar-mail: Logical Gene Ontology Annotations (GOAL): exploring gene ontology annotations with OWL