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

Show
Ignore:
Timestamp:
06/05/10 17:29:20 (12 years ago)
Author:
onnopaap (IP: 84.104.92.156)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SigMmt/Templates/ClassifiedIdentification

    v0 v1  
     1=== Base Template !ClassifiedIdentification === 
     2 
     3[[br]]This is a template for typed naming of things.  
     4[[br]] 
     5[[br]]!ClassifiedIdentification(a, b, c) means that b is a string and c a type of name assignment, and that b is a c-type name for a.  
     6[[br]] 
     7[[br]]Roles:  
     8[[br]]1 hasObject Thing  
     9[[br]]2 valIdentifier !ExpressString  
     10[[br]]3 hasContext !ClassOfClassOfIdentification  
     11 
     12Axiom:  
     13{{{ 
     14ClassifiedIdentification(x1, x2, x3) <->  
     15Thing(x1) &  
     16ExpressString(x2) &  
     17ClassOfClassOfIdentification(x3) &  
     18exists u(ClassOfIdentificationTriple(u, x2, x1) &  
     19ClassificationTemplate(u, x3)) .  
     20}}} 
     21 
     22EXAMPLE The statement !ClassifiedIdentification(Alfred,PN4723, Employee No. ACME Co.) (e.g., an assignment of employee number)  
     23 
     24NOTE This template assigns names to things, and a type (a classifier) to the assignments themselves. An intended use is for the classifier to represent a context in which the name assignment is valid.  
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