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

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