http://wiki.dol-omg.org/index.php?action=history&feed=atom&title=TheoremTheorem - Revision history2026-05-01T18:43:34ZRevision history for this page on the wikiMediaWiki 1.27.4http://wiki.dol-omg.org/index.php?title=Theorem&diff=276&oldid=prevFabian: added navigation instruction for theorem2016-10-08T19:42:36Z<p>added navigation instruction for theorem</p>
<table class="diff diff-contentalign-left" data-mw="interface">
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr style='vertical-align: top;' lang='en'>
<td colspan='2' style="background-color: white; color:black; text-align: center;">← Older revision</td>
<td colspan='2' style="background-color: white; color:black; text-align: center;">Revision as of 19:42, 8 October 2016</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1" >Line 1:</td>
<td colspan="2" class="diff-lineno">Line 1:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>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]].</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>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]].</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">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: </ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">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. </ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">Here is an example [https://ontohub.org/appliedontologyontohubpaper/competencyQuestion//CCbase///theorems].</ins></div></td></tr>
</table>Fabianhttp://wiki.dol-omg.org/index.php?title=Theorem&diff=182&oldid=prevTillmo: 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..."2014-02-11T09:43:08Z<p>Created page with "A '''theorem''' is a <a href="/index.php/Sentence" title="Sentence">sentence</a> that is postulated to logically follow from the <a href="/index.php/Axiom" title="Axiom">axioms</a> of an <a href="/index.php/Ontology" title="Ontology">ontology</a>. Theorems help documenting the (intended or unintended) consequ..."</p>
<p><b>New page</b></p><div>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]].</div>Tillmo