Linking Human Diseases to Animal Models Using Ontology-Based Phenotype Annotation | Synapse