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

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

--

Legend:

Unmodified
Added
Removed
Modified
  • SigMmt/Templates/ClassificationOfClass

    v0 v1  
     1=== Base Template !ClassificationOfClass === 
     2This is a template for classifying classes.  
     3[[br]] 
     4[[br]]!ClassificationOfClass(a, b) means that a is a class, that b is a class of classes, and that a is  
     5[[br]]a member of b.  
     6[[br]] 
     7[[br]]Roles:  
     8[[br]]1 hasClass Class  
     9[[br]]2 hasClassClassifier !ClassOfClass  
     10 
     11Axiom:  
     12{{{ 
     13ClassificationOfClass(x1, x2) <->  
     14Class(x1) &  
     15ClassOfClass(x2) &  
     16ClassificationTemplate(x1, x2) .    
     17}}} 
     18 
     19EXAMPLE Typical uses of this template is in classification of classes that are used by particular  
     20entities or which are defined in domain standards. No restriction on the order of the  
     21classes is imposed. As an example of classification of a second-order class by a third-order class,  
     22consider “the types of drill string belong to the drilling domain”. This could be expressed by  
     23!ClassificationOfClass(Drilling Domain Class, Drill String Type) 
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