Template RestrictedDimensionOfIndividual

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).

Analysis Diagram


About PCA
Reference Data Services