An axiom is a sentence of an ontology that is postulated to be true. It is used to define the ontology by constraining its models, i.e. its possible interpretations of symbols.
