ClassOfInvolvementByReferenceDefinition
8204B4DAEB544E158C6E597920020D3F
UPDATED NOV2023
coIsInvolvedByReferenceIn
Members of a Class are involved by reference in members of a ClassOfActivity, with Cardinalities
At instantiation of this template it is mandatory to add meta:valEffectiveDate with the dateTime that the represented information became effective.
TemplateForClassOfActivity
[hasCardinalityOfActivity] member(s) of [hasActivityType] involve(s)-by-reference [hasCardinalityOfInvolved] member(s) of [EssentialType] class [hasInvolvedType] in a [hasInvolvementRole] Role
Although In ISO 15926 the cardinalities are the opposite of the customary cardinality, they have been defined here in that customary manner in the template signature (by reversing end1Cardinality and end2Cardinality).
CL-ACTIV-300-20231120.png
[1]http://data.15926.org/dm/ClassOfActivity
[2]http://data.15926.org/dm/Class
[3]http://data.15926.org/dm/Role
[4]http://data.15926.org/dm/Cardinality
[5]http://data.15926.org/dm/Cardinality
[6]http://data.15926.org/dm/ClassOfTemporalWholePart
[7]http://data.15926.org/dm/ClassOfActivity
[8]http://data.15926.org/dm/ClassOfInvolvementByReference
[9]http://data.15926.org/dm/RoleAndDomain
[10]http://data.15926.org/dm/SpecializationByDomain
[11]http://data.15926.org/dm/SpecializationByRole
[12]http://data.15926.org/dm/Class
[13]http://data.15926.org/dm/ClassOfTemporalWholePart
1hasActivityTypedm:ClassOfActivity
2hasInvolvedTypedm:Class
3hasInvolvementRoledm:Roleuse ID from RDL
4hasCardinalityOfActivitydm:Cardinalityuse ID from RDL
5hasCardinalityOfInvolveddm:Cardinalityuse ID from RDL
ClassOfActivity(hasActivityType) &
Class(hasInvolvedType) &
Role(hasInvolvementRole) &
Cardinality(hasCardinalityOfActivity) &
Cardinality(hasCardinalityOfInvolved) &
exists u1 exists u2 exists u3(
ClassOfActivity(u1) &
ClassOfTemporalWholePartTemplate(u1, hasActivityType) &
ClassOfInvolvementByReferenceTriple(u4, u2, u1)&
hasEnd1Cardinality(u4, hasCardinalityOfActivity) &
hasEnd2Cardinality(u4, hasCardinalityOfInvolved) &
RoleAndDomain(u2) &
SpecializationByRoleTemplate(u2, hasInvolvementRole) &
SpecializationByDomainTemplate(u2, u3) &
Class(u3) &
ClassOfTemporalWholePartTemplate(u3, hasInvolvedType)) .]]>