Base Template ClassInvolvementSuccession


ClassInvolvementSuccession(a, b, c, d, e, f, g, h) means two classes a, b are involved in the same capacity in activity c. From time h, the involvement of a is succeeded by involvement of b, and approver g assigns status e to a’s involvement, status f to b’s involvement.
NOTE 1 In the phylosophy of ISO 15926 classes are eternal, e.g. can have no lifecycle. However some highly specialized classes can get to be “revised” (“to revise” is an Activity). This template is used to connect succeeding classes and qualify the succession with an activity, approver and time stamp.

Roles:
1 hasPredecessorClass Class
2 hasSuccessorClass Class
3 hasInvolverActivity Activity
4 hasInvolvementType ClassOfInvolvementByReference
5 hasStatusOfPredecessor ClassOfApprovalByStatus
6 hasStatusOfSuccessor ClassOfApprovalByStatus
7 hasStatusApprover PossibleIndividual
8 hasStartTime RepresentationOfGregorianDateAndUtcTime

Axiom:

ClassInvolvementSuccession(x1, x2, x3, x4, x5, x6, x7, x8) <-> 
Class(x1) & 
Class(x2) & 
Activity(x3) & 
ClassOfInvolvementByReference(x4) & 
ClassOfApprovalByStatus(x5) & 
ClassOfApprovalByStatus(x6) & 
PossibleIndividual(x7) & 
RepresentationOfGregorianDateAndUtcTime(x8) & 
exists u1 exists u2 exists u3( 
BeginningOfTemporalPart(u1, x3, x8)& 
InvolvementByReferenceTriple(u2, x1, u1)& 
InvolvementByReferenceTriple(u3, x2, u1)& 
ClassificationTemplate(u2, x4)& 
ClassificationTemplate(u3, x4)& 
StatusApproval(u2, x5, x7)& 
StatusApproval(u3, x6, x7)& 
SuccessionOfInvolvementByReference(u2, u3)) .
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