Exploring the computational background of ontologies, this self-contained text helps readers understand ontological algorithms and their applications. It describes a host of bio-ontologies, including Gene Ontology and Human Phenotype Ontology. The authors cover graph and inference algorithms and explain how these algorithms are used in biologica