An ontology for major histocompatibility restriction