Revision as of 09:41, 11 February 2014 by Tillmo(talk | contribs)(Created page with "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 interpretati...")
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.
