Category:LogicalOP
From Odp
(Difference between revisions)
EvaBlomqvist (Talk | contribs)
(New page: == Definition == 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 == ...)
Next diff →
Revision as of 10:11, 9 June 2009
Definition
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
Pages in category "LogicalOP"
The following 18 pages are in this category, out of 18 total.
S |
S cont. |
S cont. |
