PICO Ontology — Formal ontology for PICO (Population, Intervention, Comparison, Outcome) framework used in systematic reviews