An ontology is a formal specification of an agreed conceptualisation of a domain in the context of knowledge description.

Gruber, Thomas R. "A translation approach to portable ontology specifications." Knowledge acquisition 5.2 (1993): 199-220. [paper link]