An example ontology created by Matthew Horridge