Category:ReasoningOP

From Odp

Revision as of 10:39, 15 June 2009 by EvaBlomqvist (Talk | contribs)
(diff) ←Older revision | Current revision (diff) | Newer revision→ (diff)
Jump to: navigation, search


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.

Retrieved from "http://ontologydesignpatterns.org/wiki/Category:ReasoningOP"
Personal tools
Quality Committee
Content OP publishers