Version 5 (modified by mfedorov, 13 years ago) |
---|
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 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. c is a member of e where c is supposed to be an existing class in RDL.
Roles:
1 hasTypeOfShapeDimension ClassOfShapeDimension
2 hasIndividual PossibleIndividual
3 hasProperty Property
4 hasPropertyScale Scale
5 hasPropertySet EnumeratedPropertySet
Axiom:
RestrictedDimensionOfIndividual(x1, x2, x3, x4, x5) <-> ClassOfShapeDimension(x1) & PossibleIndividual(x2) & Property(x3) & Scale(x4) & EnumeratedPropertySet(x5) & exists v (DimensionOfIndividualTemplate(x2, v) & exists u (ShapeDimension(u) & ClassificationTemplate(u, x1) & ClassificationTemplate(v, u) & PropertyForShapeDimensionTemplate(x3, u))) & ClassificationTemplate(x3, x5) & exists p (RealMagnitudeOfProperty(x3, p, x4)).
EXAMPLE The statement RestrictedDimensionOfIndividual(OUTSIDE DIAMETER, CV123, 108MM, MILLIMETRE, ABC SET OF DIAMETERS).
Analysis Diagram
Attachments
- RestrictedDimensionOfIndividual.vsd (145.5 kB) - added by mfedorov 12 years ago.
- RestrictedDimensionOfIndividual.PNG (101.4 kB) - added by mfedorov 12 years ago.