Difference between revisions of "Axiom"

From Ontohub
Jump to: navigation, search
(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...")
 
(No difference)

Latest revision as of 09:41, 11 February 2014

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.