Changes between Initial Version and Version 1 of SigMmt/Templates/ClassificationOfRelationship

Show
Ignore:
Timestamp:
06/05/10 17:28:08 (14 years ago)
Author:
onnopaap (IP: 84.104.92.156)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SigMmt/Templates/ClassificationOfRelationship

    v0 v1  
     1=== Base Template !ClassificationOfRelationship === 
     2 
     3[[br]]This is a template for giving type to relationships. It is a classification template, restricted  
     4to classifying pairs of things as members of relations.  
     5[[br]] 
     6[[br]]!ClassificationOfRelationship(a, b) means that a is an ordered pair, b is a relation, and a is a member of b.  
     7[[br]] 
     8[[br]]Roles:  
     9[[br]]1 hasPair Relationship  
     10[[br]]2 hasRelation !ClassOfRelationship  
     11 
     12Axiom:  
     13{{{ 
     14ClassificationOfRelationship(x1, x2) <->  
     15Relationship(x1) &  
     16ClassOfRelationship(x2) &  
     17ClassificationTemplate(x1, x2) .  
     18}}} 
     19 
     20NOTE See also !InstanceOfRelation.  
     21 
     22EXAMPLE !ClassificationOfRelationship(hAlfred,ACME Co.i, Employment) expands to a representation structured as in the following diagram. Note that — the definition of the first argument (the specification of the entity type and members for the ordered pair) is not given as part of the template statement, — the entity type Relationship is abstract. In a valid instantiation of this template, the ordered pair will have an entity type that is a subtype of Relationship,  
Home
About PCA
Reference Data Services
Projects
Workgroups