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

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

--

Legend:

Unmodified
Added
Removed
Modified
  • SigMmt/Templates/BeginningEndLocationOfActivity

    v0 v1  
     1=== Base Template !BeginningEndLocationOfActivity === 
     2 
     3[[br]]This is a template for expressing where and when an activity takes place.  
     4[[br]]!BeginningEndLocationOfActivity(a, b, c, d) means that a is an activity, b and c are points in time, and d is a location, and that a takes place at d, starting at b and ending at c.  
     5[[br]] 
     6[[br]]Roles:  
     7[[br]]1 hasActivity Activity  
     8[[br]]2 hasStartTime !RepresentationOfGregorianDateAndUtcTime  
     9[[br]]3 hasEndTime !RepresentationOfGregorianDateAndUtcTime  
     10[[br]]4 hasLocation SpatialLocation  
     11 
     12Axiom:  
     13{{{ 
     14BeginningEndLocationOfActivity(x1, x2, x3, x4) <->  
     15Activity(x1) &  
     16RepresentationOfGregorianDateAndUtcTime(x2) &  
     17RepresentationOfGregorianDateAndUtcTime(x3) &  
     18SpatialLocation(x4) &  
     19BeginningEndOfIndividual(x1, x2, x3) &  
     20LocationOfActivity(x1, x4) .  
     21}}} 
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