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

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

--

Legend:

Unmodified
Added
Removed
Modified
  • SigMmt/Templates/InvolvementStatus

    v0 v1  
     1=== Base Template !InvolvementStatus === 
     2 
     3[[br]]This template is for stating that a thing is involved in an activity, that the involvement is  
     4classified to be of a certain kind, and that the involvement is approved by an approver to have a certain status.  
     5[[br]] 
     6[[br]]!InvolvementStatus(a, b, c, d, e) means that a is an thing and b is an activity and c is a type of  
     7involvement, d is an approval status and e is the approver. a is involved in activity b and c is the  
     8type of involvement, the activity is approved, d is type of status of the approval and e is the approver.  
     9[[br]] 
     10[[br]]Roles:  
     11[[br]]1 hasInvolved Thing  
     12[[br]]2 hasInvolverActivity Activity  
     13[[br]]3 hasInvolvementType !ClassOfInvolvementByReference  
     14[[br]]4 hasStatus !ClassOfApprovalByStatus  
     15[[br]]5 hasApprover !PossibleIndividual  
     16 
     17Axiom:  
     18{{{ 
     19InvolvementStatus(x1, x2, x3, x4, x5) <->  
     20Thing(x1) &  
     21Activity(x2) &  
     22ClassOfInvolvementByReference(x3) &  
     23ClassOfApprovalByStatus(x4) &  
     24PossibleIndividual(x5) &  
     25exists u(InvolvementByReferenceTriple(u, x1, x2) &  
     26ClassificationTemplate(u, x3) &  
     27StatusApproval(u, x4, x5)) .  
     28}}} 
Home
About PCA
Reference Data Services
Projects
Workgroups