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

Show
Ignore:
Timestamp:
06/05/10 16:10:35 (12 years ago)
Author:
onnopaap (IP: 84.104.92.156)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SigMmt/Templates/ClassificationOfClassOfRelationship

    v0 v1  
     1=== Base Template !ClassificationOfClassOfRelationship === 
     2 
     3[[br]]This is a template for classifying relations.  
     4[[br]] 
     5[[br]]!ClassificationOfClassOfRelationship(a, b) means that a is a relation and b a class of relations,  
     6[[br]]and that a is a member of b.  
     7[[br]] 
     8[[br]]Roles:  
     9[[br]]1 hasClass !ClassOfRelationship  
     10[[br]]2 hasClassClassifier !ClassOfClassOfRelationship  
     11[[br]]  
     12 
     13Axiom:  
     14{{{ 
     15ClassificationOfClassOfRelationship(x1, x2) <->  
     16ClassOfRelationship(x1) &  
     17ClassOfClassOfRelationship(x2) &  
     18ClassificationOfClass(x1, x2) .  
     19}}} 
     20 
     21NOTE This template is a specialised version of !ClassificationOfClass, with the added restriction that the first argument is a relation (a !ClassOfRelationship), and the second argument is a class of relations (a !ClassOfClassOfRelationship). 
Home
About PCA
Reference Data Services
Projects
Workgroups