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

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

--

Legend:

Unmodified
Added
Removed
Modified
  • SigMmt/Templates/InvolvementStatusBeginning

    v0 v1  
     1=== Base Template !InvolvementStatusBeginning === 
     2 
     3[[br]]This template is for stating that starting at a certain time, a thing is involved in an activity,  
     4and that the involvement is classified to be of a certain kind, and that the involvement is approved by an  
     5approver to have a certain status.  
     6[[br]] 
     7[[br]]!InvolvementStatusBeginning(a, b, c, d, e, f) means that a is an thing and b is an activity and  
     8c is a type of involvement, d is an approval status and e is the approver and f is a point in time.  
     9[[br]]a is involved in activity b and c is the type of involvement, the activity is approved,  
     10d is type of status of the approval and e is the approver, f is the start time of the activity.  
     11[[br]] 
     12[[br]]Roles:  
     13[[br]]1 hasInvolved Thing  
     14[[br]]2 hasInvolverActivity Activity  
     15[[br]]3 hasInvolvementType !ClassOfInvolvementByReference  
     16[[br]]4 hasStatus !ClassOfApprovalByStatus  
     17[[br]]5 hasApprover !PossibleIndividual  
     18[[br]]6 hasStartTime !RepresentationOfGregorianDateAndUtcTime  
     19 
     20Axiom:  
     21{{{ 
     22InvolvementStatusBeginning(x1, x2, x3, x4, x5) <->  
     23Thing(x1) &  
     24Activity(x2) &  
     25ClassOfInvolvementByReference(x3) &  
     26ClassOfApprovalByStatus(x4) &  
     27PossibleIndividual(x5) &  
     28RepresentationOfGregorianDateAndUtcTime(x6) &  
     29exists u(BeginningOfTemporalPart(u, x2, x6) &  
     30InvolvementStatus(x1, u, x3, x4, x5)) .  
     31}}} 
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