Template EventDateAndTime


This is a template for specifying date and time of an event of a certain type that takes place with a thing.


EventDateAndTime(a, b, c) means that b is a ClassOfEvent, c is a RepresentationOfGregorianDateAndUtcTime that represents the PointInTime when b takes place, and a is a Thing involved in an Activity causing b.

Roles:
1 hasObject Thing
2 hasEventType ClassOfEvent
3 hasDateAndTime RepresentationOfGregorianDateAndUtcTime

Axiom:

EventDateAndTime(x1,x2,x3) <->
Thing(x1) &
ClassOfEvent(x2) & 
RepresentationOfGregorianDateAndUtcTime(x3) & 
exists p (PointInTime(p) &
   ClassOfRepresentationOfThingTemplate(x3,p) &
   exists u (Event(u) & 
      CompositionOfIndividualTemplate(u,p) &
      ClassificationTemplate(u,x2) &
      exists v (Activity(v) &
         CauseOfEventTemplate(u,v) &
         InvolvementByReferenceTemplate(x1,v)))) . 

Illustration:

EXAMPLE The statement EventDateAndTime(INSTALLATION WORK SCHEDULE 19283, APPROVAL DATE, 2010-11-21T06:00)

Attachments

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