Difference between revisions of "Theorem"

From Ontohub
Jump to: navigation, search
(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].