Category:ReasoningOP
From Odp
(Difference between revisions)
(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...) |
Current revision (22:27, 3 July 2009) (view source) |
||
| Line 13: | Line 13: | ||
on the ontology in order to carry out queries, evaluation, etc. Examples of | on the ontology in order to carry out queries, evaluation, etc. Examples of | ||
Reasoning OPs are so called normalizations. | Reasoning OPs are so called normalizations. | ||
| + | |||
| + | [[Category:OntologyDesignPattern]] | ||
Current revision
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.
