ClassOfIntendedRoleAnd DomainDefinition
ACD30FA6FEDF42A9A4ECAAC54827FAED
NEW 22AUG2023
coIntendedForUseAs
Members of a ClassOfIndividual are intended to play the Role of members of another ClassOfIndividual, with Cardinalities.
Members of a Pump, offered by Bloggs Ltd, are intended to be used for members of Asset Requirements Class CO-P-101
At instantiation of this template it is mandatory to add meta:valEffectiveDate with the dateTime that the represented information became effective.
TemplateForDefinitionOfClass
The [hasDefined] is defined such that [hasCardinalityOfPlayerType] member(s) of [hasPlayerType] have [hasCardinalityOfPlayed] member(s) of [EssentialType] class [hasPlayedType] as participant in a [hasPlayedRole] Role
CL-DEFN-900-20220822.png
[1]
dm:ClassOfIndividual
[2]
dm:ClassOfIndividual
[3]
dm:Role
[4]
dm:ClassOfIntendedRoleAndDomain
[5]
dm:Cardinality
[6]
dm:Cardinality
[7]
dm:ClassOfTemporalWholePart
[8]
dm:ClassOfIndividual
[9]
dm:RoleAndDomain
[10]
dm:ClassOfTemporalWholePart
[11]
dm:ClassOfIndividual
[12]
dm:SpecializationByDomain
[13]
dm:SpecializationByRole
1
hasPlayerType
dm:ClassOfIndividual
2
hasPlayedType
dm:ClassOfIndividual
3
hasPlayedRole
dm:Role
use ID from RDL
4
hasDefined
dm:ClassOfIntendedRoleAndDomain
generate UUID or RDL number for typing of IntendedRoleAndDomain relationship in template for individual
5
hasCardinalityOfPlayerType
dm:Cardinality
6
hasCardinalityOfPPlayedType
dm:Cardinality
ClassOfIndividual(hasPlayerType) &
ClassOfIndividual(hasPlayedType) &
Role(hasPlayedRole) &
Cardinality(hasCardinalityOfPlayerType) &
Cardinality(hasCardinalityOfPlayedType) &
exists u1 exists u2 exists u3(
ClassOfTemporalWholePartTemplate(u1, hasPlayerType) &
ClassOfIndividual(u1) &
RoleAndDomain(u2)
ClassOfTemporalWholePartTemplate(u3, hasPlayedType) &
ClassOfIndividual(u3) &
SpecializationByDomainTemplate(u2, u3) &
SpecializationByRoleTemplate(u2, hasPlayedRole) &
ClassOfIntendedRoleAndDomainTriple(hasDefined, u1, u2) &
hasEnd1Cardinality(hasDefined, hasCardinalityOfPlayedType) &
hasEnd2Cardinality(hasDefined, hasCardinalityOfPlayerType)) .]]>