Figure 5

Errors in manual curation are discovered with the use of automated reasoners and disjointness statements. (a) Gamma-delta T cell type is inferred to by a sub-type of alpha-beta T cell, a violation of the disjointness relationship asserted between the two cell types (not shown). The inferred is_a relationship results from the too general cross product class "alpha-beta T cell is_a T cell that has_plasma_membrane_part T cell receptor complex". (b) Corrected version of the ontology where alpha-beta T cell is described as a "T cell that has_plasma_membrane_part alpha-beta T cell receptor". ρ = has_plasma_membrane_part