Biological Ontologies
Formal methods for knowledge representation, such as ontologies can bring out the core attributes of biology. We are collaborating with the Gene Ontology (GO) to define terms that describe cell signaling and to apply those terms to several sequenced eukaryotic genomes. We also use GO to link key functions across organisms in comparative genomics and comparative expression studies.