Version 8 (modified by mfedorov, 13 years ago)

--

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) &
       exists v (Activity(v) &
          CauseOfEventTemplate(u,v) &
          InvolvementByReferenceTemplate(x1,v) &
))). 

Illustration:

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

Attachments

Home
About PCA
Reference Data Services
Projects
Workgroups