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
Projects
Workgroups