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

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

--

Legend:

Unmodified
Added
Removed
Modified
  • SigMmt/Templates/BeginningEndOfIndividual

    v0 v1  
     1=== Base Template !BeginningEndOfIndividual === 
     2 
     3[[br]]This is a template for stating start and end times of existence.  
     4[[br]]!BeginningEndOfIndividual(a, b, c) means that a is an individual and b and c are points in time, and that a begins to exist at b and ceases to exist at c.  
     5[[br]] 
     6[[br]]Roles:  
     7[[br]]1 hasIndividual !PossibleIndividual  
     8[[br]]2 hasStartTime !RepresentationOfGregorianDateAndUtcTime  
     9[[br]]3 hasEndTime !RepresentationOfGregorianDateAndUtcTime  
     10 
     11Axiom:  
     12{{{ 
     13BeginningEndOfIndividual(x1, x2, x3) <->  
     14PossibleIndividual(x1) &  
     15RepresentationOfGregorianDateAndUtcTime(x2) &  
     16RepresentationOfGregorianDateAndUtcTime(x3) &  
     17exists u(PointInTime(u) & BeginningTemplate(u, x1) &  
     18ClassOfRepresentationOfThingTemplate(x2, u)) &  
     19exists u(PointInTime(u) & EndTemplate(u, x1) &  
     20ClassOfRepresentationOfThingTemplate(x3, u)) .  
     21}}} 
     22 
     23EXAMPLE The statement !BeginningEndOfIndividual(Survey # 23, 2009–10–19 , 2009–10–21)  
     24 
     25Note that no designation for the !PointInTime instances is defined.  
Home
About PCA
Reference Data Services
Projects
Workgroups