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

Home
About PCA
Reference Data Services
Projects
Workgroups