Difference between revisions of "Theorem"
From Ontohub
(Created page with "A '''theorem''' is a sentence that is postulated to logically follow from the axioms of an ontology. Theorems help documenting the (intended or unintended) consequ...") |
(added navigation instruction for theorem) |
||
| Line 1: | Line 1: | ||
A '''theorem''' is a [[sentence]] that is postulated to logically follow from the [[axiom]]s of an [[ontology]]. Theorems help documenting the (intended or unintended) consequences of an ontology. Theorems can be proved with a [[theorem prover]]. | A '''theorem''' is a [[sentence]] that is postulated to logically follow from the [[axiom]]s of an [[ontology]]. Theorems help documenting the (intended or unintended) consequences of an ontology. Theorems can be proved with a [[theorem prover]]. | ||
| + | |||
| + | A DOL file may associate an ontology with one ore more theorems. The theorems that are associated with a given ontology can be found as follows: | ||
| + | In a given repository select an ontology. (If it is a heterogenous ontology, you may need to select a child ontology). The theorems are displayed in the "Theorem" subtab under the "Content" tab. | ||
| + | Here is an example [https://ontohub.org/appliedontologyontohubpaper/competencyQuestion//CCbase///theorems]. | ||
Latest revision as of 19:42, 8 October 2016
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.
A DOL file may associate an ontology with one ore more theorems. The theorems that are associated with a given ontology can be found as follows: In a given repository select an ontology. (If it is a heterogenous ontology, you may need to select a child ontology). The theorems are displayed in the "Theorem" subtab under the "Content" tab. Here is an example [1].
