An ontology is a formal representation of knowledge.