Difference between revisions of "Theorem"
From Ontohub
(No difference)
|
Revision as of 09:43, 11 February 2014
A theorem is a sentence that is postulated to logically follow from the axioms of an ontology. Theorems help documenting the (intended or unintended) consequences of an ontology. Theorems can be proved with a theorem prover.
