This template is for specifying a Dimension of an Individual where the Dimension is represented by a Property that is a member of a specific set of properties.
RestrictedDimensionOfIndividual(a, b, c, d, e) means that a is a ClassOfShapeDimension, b a (temporal part of) PossibleIndividual to which the relation applies, c is a value of the Property that represents an IndividualDimension applied to b, d the Scale as unit of measurement, and e is an EnumeratedPropertySet. The IndividualDimension applied to b is a member of a ShapeDimension that has an a type. The property that is represented by c value is a member of e where and is supposed to be an existing class in RDL.
1 hasTypeOfShapeDimension ClassOfShapeDimension
2 hasIndividual PossibleIndividual
3 valPropertyValue ExpressReal
4 hasPropertyScale Scale
5 hasPropertySet EnumeratedPropertySet
RestrictedDimensionOfIndividual(x1, x2, x3, x4, x5) <-> ClassOfShapeDimension(x1) & PossibleIndividual(x2) & ExpressReal(x3) & Scale(x4) & EnumeratedPropertySet(x5) & exists v (DimensionOfIndividualTemplate(x2, v) & exists u, p (ShapeDimension(u) & Property(p) & ClassificationTemplate(u, x1) & ClassificationTemplate(v, u) & PropertyForShapeDimensionTemplate(p, u) & ClassificationTemplate(p, x5) & RealMagnitudeOfProperty(p, x3, x4))).
EXAMPLE The statement RestrictedDimensionOfIndividual(OUTSIDE DIAMETER, CV123, 108, MILLIMETRE, ABC SET OF DIAMETERS).