From: Alignment of vaccine codes using an ontology of vaccine descriptions
 | Available information | Property chain | Inferred information |
---|---|---|---|
a) | v is-a Vaccine that has-ingredient I. I is-a Active-ingredient that imm.-against Flu. | has-ingred. \(\circ\) imm.-against \(\Rightarrow\) imm.-against. | v is-a Vaccine that imm.-against Flu. |
b) | v is-a Vaccine that has-ingredient I. I is-a Active-ingredient that has-strategy Inactivated. | has-ingred. \(\circ\) has-strategy \(\Rightarrow\) has-strategy. | v is-a Vaccine that has-strategy Inactivated. |
c) | v is-a Vaccine that imm.-against Hib. Hib is-a Pathogen that causes Cervical-cancer. | imm.-against \(\circ\) causes \(\Rightarrow\) imm.-against. | v is-a Vaccine that imm.-against Cervical cancer. |