Category:LogicalOP
From Odp
| Line 8: | Line 8: | ||
== Description == | == Description == | ||
| - | + | Logical OPs are only expressed in terms of a logical vocabulary, because their | |
| - | Logical OPs are independent from a | + | signature (the set of predicate names, e.g. the set of classes and properties in |
| - | + | an OWL ontology) is empty (with minor exceptions, e.g. the default inclusion | |
| - | + | of owl:Thing in OWL). On one hand, Logical OPs are independent from a | |
| - | + | specifi�c domain of interest (i.e. they are content-independent), on the other | |
| + | hand, they depend on the expressivity of the logical formalism that is used | ||
| + | for representation. In other words, Logical OPs help to solve design problems | ||
| + | where the primitives of the representation language do not directly support | ||
| + | certain logical constructs. For example, if the representation language is OWL, | ||
| + | and a designer needs to represent a relation between more than two elements, | ||
| + | a Logical OP is needed in order to express an n-ary relation semantics by | ||
| + | only using class and binary relation primitives. | ||
They can be of two types: logical macros, and transformation patterns | They can be of two types: logical macros, and transformation patterns | ||
Revision as of 10:17, 9 June 2009
Description
Logical OPs are only expressed in terms of a logical vocabulary, because their signature (the set of predicate names, e.g. the set of classes and properties in an OWL ontology) is empty (with minor exceptions, e.g. the default inclusion of owl:Thing in OWL). On one hand, Logical OPs are independent from a specifi�c domain of interest (i.e. they are content-independent), on the other hand, they depend on the expressivity of the logical formalism that is used for representation. In other words, Logical OPs help to solve design problems where the primitives of the representation language do not directly support certain logical constructs. For example, if the representation language is OWL, and a designer needs to represent a relation between more than two elements, a Logical OP is needed in order to express an n-ary relation semantics by only using class and binary relation primitives.
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. |
