http://ontologydesignpatterns.org/index.php?action=history&feed=atom&title=Category%3AReasoningOP 2026-05-06T09:30:15Z Revision history for this page on the wiki MediaWiki 1.25.6 http://ontologydesignpatterns.org/index.php?title=Category:ReasoningOP&diff=5050&oldid=prev 2009-07-03T22:27:39Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr style='vertical-align: top;'> <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 22:27, 3 July 2009</td> </tr><tr><td colspan="2" class="diff-lineno" id="L13" >Line 13:</td> <td colspan="2" class="diff-lineno">Line 13:</td></tr> <tr><td class='diff-marker'>&#160;</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>on the ontology in order to carry out queries, evaluation, etc. Examples of</div></td><td class='diff-marker'>&#160;</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>on the ontology in order to carry out queries, evaluation, etc. Examples of</div></td></tr> <tr><td class='diff-marker'>&#160;</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>Reasoning OPs are so called normalizations.</div></td><td class='diff-marker'>&#160;</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>Reasoning OPs are so called normalizations.</div></td></tr> <tr><td colspan="2">&#160;</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">&#160;</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;">[[Category:OntologyDesignPattern]]</ins></div></td></tr> </table>

EnricoDaga http://ontologydesignpatterns.org/index.php?title=Category:ReasoningOP&diff=4411&oldid=prev 2009-06-15T10:39:53Z

<p>New page: {{Definition |Reasoning Ontology Design Patterns (Reasoning OPs) |Reasoning OPs are applications of Logical OPs oriented to obtain certain reasoning results, based on the behavior implemen...</p> <p><b>New page</b></p><div>{{Definition<br /> |Reasoning Ontology Design Patterns (Reasoning OPs)<br /> |Reasoning OPs are applications of Logical OPs oriented to obtain certain reasoning results, based on the behavior implemented in a reasoning engine.<br /> <br /> }}<br /> <br /> == Description ==<br /> Reasoning OPs are applications of Logical OPs oriented to obtain certain<br /> reasoning results, based on the behavior implemented in a reasoning engine.<br /> Examples of Reasoning OPs include: classification, subsumption, inheritance, materialization, de-anonymizing, etc.<br /> Reasoning OPs, when declared on top of an ontology, inform about the state<br /> of that ontology, and let a system decide what reasoning has to be performed<br /> on the ontology in order to carry out queries, evaluation, etc. Examples of<br /> Reasoning OPs are so called normalizations.</div>

EvaBlomqvist