StrictOrderRelationOLD

Is Abstract: 
yes
Is Pattern: 
no
Definition: 

Relation over members in a collection (set or bag) characterized by the following assignments to the types inherited from Asymmetric Binary Relation:
- Reflexivity = Anti_Reflexive;
- Symmetry = Anti_Symmetric (more restrictive than parent class) ;
- Transitivity = Transitive.

It must contain like items.

Explanatory Notes: 

It includes the Temporal_Precedes, Temporal_Finishes, Temporal_Contains and Temporal_Starts semantics to express the precedes, finishes, contains and starts relations, respectively, in Allen's temporal algebra.

Property: 
NameCardinalityDatatypeDescription
criteria
0..1
Intensional definition of the order criteria (e.g. alphabetical, numerical, increasing, decreasing, etc.)
semantics
0..1
Controlled vocabulary for the strict order relation semantics. It should contain, at least, the following: Descendant_Of, Strict_Part_Of, Less_Than, Strict_Subtype_Of, Predecessor_Of, Successor_Of, Temporal_Precedes, Temporal_Finishes, Temporal_Contains and Temporal_Starts
reflexivity
1..1
Fixed to Anti_Reflexive
symmetry
1..1
Fixed to Anti_Symmetric
transitivity
1..1
Fixed to Transitive
Relationship: 

Stage:

Is extendable: 
Is property: 
0
RDF Mapping: