http://ontologydesignpatterns.org/wiki/index.php?title=Category:ReasoningOP&feed=atom&action=historyCategory:ReasoningOP - Revision history2024-03-28T10:16:54ZRevision history for this page on the wikiMediaWiki 1.13.2http://ontologydesignpatterns.org/wiki/index.php?title=Category:ReasoningOP&diff=5050&oldid=prevEnricoDaga at 22:27, 3 July 20092009-07-03T22:27:39Z<p></p>
<table style="background-color: white; color:black;">
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr valign='top'>
<td colspan='2' style="background-color: white; color:black;">←Older revision</td>
<td colspan='2' style="background-color: white; color:black;">Revision as of 22:27, 3 July 2009</td>
</tr>
<tr><td colspan="2" class="diff-lineno">Line 13:</td>
<td colspan="2" class="diff-lineno">Line 13:</td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>on the ontology in order to carry out queries, evaluation, etc. Examples of</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>on the ontology in order to carry out queries, evaluation, etc. Examples of</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>Reasoning OPs are so called normalizations.</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>Reasoning OPs are so called normalizations.</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">[[Category:OntologyDesignPattern]]</ins></div></td></tr>
<!-- diff generator: internal 2024-03-28 10:16:54 -->
</table>EnricoDagahttp://ontologydesignpatterns.org/wiki/index.php?title=Category:ReasoningOP&diff=4411&oldid=prevEvaBlomqvist: 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...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