ClassOfParticipationDefinition
C595FD07CCC44001A7021B71FDB44FD9
Revised APR2024
coParticipatesIn
Members of a ClassOfActivity have members of a ClassOfPhysicalObject as a participant in a given Role, with Cardinalities.
A member of ClassOfActivity HYDROSTATIC TESTING has one of more members of the ClassOfPhysicalObject PRESSURE-RATED ARTEFACT as a participant in the Role of HYDROSTATICALLY TESTED OBJECT.
At instantiation of this template it is mandatory to add meta:valEffectiveDate with the dateTime that the represented information became effective.
The [hasDefined] is defined such that [hasCardinalityOfParticipant] member(s) of [hasActivityType] have [hasCardinalityOfActivity] member(s) of [EssentialType] class [hasParticipantType] as participant in a [hasParticipantRole] Role
The 'hasDefined' role has been removed, because at Individual level the ClassOfParticipation is no longer in the template signature
CL-ACTIV-100-20231111.png
[1]
http://data.15926.org/dm/ClassOfActivity
[2]
http://data.15926.org/dm/ClassOfPhysicalObject
[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/ClassOfParticipation
[9]
http://data.15926.org/dm/ParticipatingRoleAndDomain
[10]
http://data.15926.org/dm/ClassOfTemporalWholePart
[11]
http://data.15926.org/dm/ClassOfPhysicalObject
[12]
http://data.15926.org/dm/SpecializationByDomain
[13]
http://data.15926.org/dm/SpecializationByRole
1
hasActivityType
dm:ClassOfActivity
2
hasParticipantType
dm:ClassOfPhysicalObject
3
hasParticipantRole
dm:Role
use ID from RDL
4
hasCardinalityOfActivity
dm:Cardinality
use ID from RDL
5
hasCardinalityOfParticipant
dm:Cardinality
use ID from RDL
ClassOfActivity(hasActivityType) &
ClassOfPhysicalObject(hasParticipantType) &
Role(hasParticipantRole) &
Cardinality(hasCardinalityOfActivity) &
Cardinality(hasCardinalityOfParticipant) &
exists u1 exists u2 exists u3 exists u4(
ClassOfTemporalWholePart(u1, hasActivityType) &
ClassOfActivity(u1) &
ParticipatingRoleAndDomain(u3)
ClassOfTemporalWholePart(u4, hasParticipantType) &
ClassOfPhysicalObject(u4) &
SpecializationByDomain(u3, u4) &
SpecializationByRole(u3, hasParticipantRole) &
ClassOfParticipation(u2, u3, u1) &
hasEnd1Cardinality(u2, hasCardinalityOfActivity) &
hasEnd2Cardinality(u2, hasCardinalityOfParticipant)) .]]>