Property:LogicalODPAim

This is a property of type Text.

Pages using the property "LogicalODPAim"

Showing 6 pages using this property.

View (previous 25 | next 25) (20 | 50 | 100 | 250 | 500)

C
Context Slices +	To encode that a binary relation holds in a context.  +
D
DisjointnessOfComplement (DOC) +	The ontology developer may want to say that C1 and C2 cannot share instances, instead of defining C1 as the logical negation of C2. Hence it could be more appropriate to state that C1 and C2 are disjoint.  +
N
N-Ary Relation Pattern (OWL 2) +	The aim of this pattern is to allow the inference of property relations between the different relata of the original N-Ary relation based on its reification.  +
NegativePropertyAssertions +	Expressing NPAs in ontologies prior to OWL 2 as well as given an transformation rule when using OWL 2.  +
P
Partition +	The Partition Pattern describes how to model a partition, i.e., a named concept which is divided into several disjoint concepts. Applying this pattern to an ontology will introduce the necessary axioms.  +
S
Stub Metapattern +	The aim of this metapattern is to act as a type of placeholder for future extensions of an ontology in cases where a more fine-grained modeling would currently be counterproductive, but future extensions may call for more details.  +