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 (RDS)
RDS Operations Support
Meetings and Conferences
ISO 15926
Special Interest Groups
Technical Advisory Board
Norwegian Continental Shelf Std
Projects
Search