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

Show
Ignore:
Timestamp:
06/05/10 16:50:38 (10 years ago)
Author:
onnopaap (IP: 84.104.92.156)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SigMmt/Templates/TimeRepresentation

    v0 v1  
     1=== Base Template !TimeRepresentation === 
     2 
     3[[br]]This is a template for stating the coordinates of points in time.  
     4[[br]] 
     5[[br]]!PointInTime(a, b, c, d, e, f, g) means that a is a representation of a point in time, b, c, d, e, and f are integer numbers, and g a real number, and that the coordinates of a are given by b representing the year, c the month, d the day, e the hour, f the minute, and g the second of a.  
     6[[br]] 
     7[[br]]Roles:  
     8[[br]]1 hasTime !RepresentationOfGregorianDateAndUtcTime  
     9[[br]]2 valYear INTEGER  
     10[[br]]3 valMonth INTEGER  
     11[[br]]4 valDay INTEGER  
     12[[br]]5 valHour INTEGER  
     13[[br]]6 valMinute INTEGER  
     14[[br]]7 valSecond REAL  
     15 
     16Axiom:  
     17{{{ 
     18TimeRepresentation(x1, x2, x3, x4, x5, x6, x7) <->  
     19RepresentationOfGregorianDateAndUtcTime(x1) &  
     20INTEGER(x2) &  
     21INTEGER(x3) &  
     22INTEGER(x4) &  
     23INTEGER(x5) &  
     24INTEGER(x6) &  
     25REAL(x7) &  
     26hasYear(x1, x2) &  
     27hasMonth(x1, x3) &  
     28hasDay(x1, x4) &  
     29hasHour(x1, x5) &  
     30hasMinute(x1, x6) &  
     31hasSecond(x1, x7) . 
     32}}} 
     33 
     34NOTE This template provides a pattern for defining points in time. While the entity type !RepresentationOfGregorianDateAndUtcTime has all attributes except hasYear optional, none are optional in the template. 
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