Template IndirectPropertyRestrictionOfIndividual

This template is for assigning an IndirectProperty to an Individual and also restricting the assigned property to a member of a specific set of properties.

IndirectPropertyRestrictionOfIndividual(a, b, c, d, e) means that a is a ClassOfIndirectProperty, b a (temporal part of) PossibleIndividual to which the relation applies, c is a Property assigned to b, d the Scale as unit of measurement, and e is an EnumeratedPropertySet. b has a a type of ClassOfIndirectProperty and has d unit of measurement. c is a member of e where c is supposed to be an existing class in RDL.

Roles:
1 hasPropertyType ClassOfIndirectProperty
2 hasPropertyPossessor PossibleIndividual
3 hasProperty Property
4 hasPropertyScale Scale
5 hasPropertySet EnumeratedPropertySet

Axiom:

IndirectPropertyRestrictionOfIndividual(x1, x2, x3, x4, x5) <-> 
ClassOfIndirectProperty(x1) &
PossibleIndividual(x2) & 
Property(x3) & 
Scale(x4) &
EnumeratedPropertySet(x5) & 
InstanceOfIndirectProperty(x1, x2, x3) &
ClassificationTemplate(x3, x5) &
exists u (RealMagnitudeOfProperty(x3, u, x4)).

EXAMPLE The statement IndirectPropertyRestrictionOfIndividual (NOMINAL DIAMETER, CV123, 100MM, ABC SET OF DIAMETERS, MILLIMETRE)

Analysis diagram

EXAMPLE The statement IndirectPropertyRestrictionOfIndividual (DESIGN PRESSURE, CV123, 10bar, ABC SET OF PRESSURES, bar)

Analysis diagram

NOTE: EnumeratedPropertySet used in a template instance should already exist in the RDL and contain as members all the required Properties. Relationships like property_quantification, scale etc are also defined in the RDL. It is not in scope of the template.