An ontology is a formal, explicit specification of a shared conceptualization*.
“formal” implies that ontology should be machine processable.
“explicit” means that ontology knowledges are explicitly defined.
“shared” indicates that ontology is agreed-upon, consensual knowledge.