Category:ReasoningOP
From Odp
(Difference between revisions)
EvaBlomqvist (Talk | contribs)
(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...)
Next diff →
Revision as of 10:39, 15 June 2009
Reasoning Ontology Design Patterns (Reasoning OPs)
Reasoning OPs are applications of Logical OPs oriented to obtain certain reasoning results, based on the behavior implemented in a reasoning engine.
Description
Reasoning OPs are applications of Logical OPs oriented to obtain certain reasoning results, based on the behavior implemented in a reasoning engine. Examples of Reasoning OPs include: classification, subsumption, inheritance, materialization, de-anonymizing, etc. Reasoning OPs, when declared on top of an ontology, inform about the state of that ontology, and let a system decide what reasoning has to be performed on the ontology in order to carry out queries, evaluation, etc. Examples of Reasoning OPs are so called normalizations.
This category currently contains no pages or media.
