Skip to main content
. Author manuscript; available in PMC: 2014 May 21.
Published in final edited form as: Stud Health Technol Inform. 2013;192:539–542.

Listing 1. Examples of OWL axioms used in the OWL 2 ontology, formalized in Manchester OWL syntax. The first example shows axioms for inferring an allele from Single Nucleotide Polymorphisms. The second example show axioms for inferring an adequate clinical decision support message for warfarin dosing based on genetic data.

Listing 1