Template DocumentStatusDate

This is a template for specifying date and time when a certain Status was assigned to a Document as a result of an according Activity.

DocumentStatusDate(a, b, c, d) means that a is an Activity resulting in a Status change, b is a ClassOfInformationObject that represents the document being assigned a c Status, and d is RepresentationOfGregorianDateAndUtcTime that represents the PointInTime when assignment takes place.

Roles:
1 hasActivity Activity
2 hasDocument ClassOfInformationObject
3 hasStatus Status
4 hasDateAndTime RepresentationOfGregorianDateAndUtcTime

Axiom:

DocumentStatusDate(x1,x2,x3,x4) <->
Activity(x1) &
ClassOfInformationObject(x2) & 
Status(x3) &
RepresentationOfGregorianDateAndUtcTime(x4) & 
InvolvementByReferenceTemplate(x2,x1) &
exists p (PointInTime(p) &
   ClassOfRepresentationOfThingTemplate(x4,p) &
   exists u (Event(u) & 
      CompositionOfIndividualTemplate(u,p) &
      CauseOfEventTemplate(u,x1) &
      exists v(MaterializedPhysicalObject(v) &
         BeginningTemplate(u,v) &
         ClassificationTemplate(v,x3) &
         exists w(MaterializedPhysicalObject(w) &
            TemporalWholePartTemplate(v,w) &
            ClassificationTemplate(w,x2))))). 

Illustration:

EXAMPLE The statement DocumentStatusDate(Act-18436, INSTALLATION WORK SCHEDULE 19283, APPROVED, 2010-11-21T06:00)

Comment

Mikhail Fedorov: The diagram is proposed by Hans Teijgeler. I'm only proposing the axiom. With this template I replaced previously proposed EventDateAndTime template after discussing that with Hans