Category:LogicalOP

From Odp

Revision as of 10:14, 9 June 2009 by EvaBlomqvist (Talk | contribs)
Jump to: navigation, search


Logical Ontology Design Patterns (Logical OPs)
A Logical OP is a formal expression, whose only parts are expressions from a logical vocabulary, e.g. OWL DL, that solves a problem of expressivity.



Description

Logical OPs are independent from a specific domain of interest, i.e. they are content-independent.

Logical OPs depend on the expressivity of the logical formalism that is used for representation They help to solve design problems where the primitives of the representation language do not directly support certain logical constructs.

They can be of two types: logical macros, and transformation patterns

Subcategories

This category has the following 2 subcategories, out of 2 total.

C

P

Personal tools
Quality Committee
Content OP publishers