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.

Roles:
1 hasTypeOfShapeDimension ClassOfShapeDimension
2 hasIndividual PossibleIndividual
3 valPropertyValue ExpressReal
4 hasPropertyScale Scale
5 hasPropertySet EnumeratedPropertySet

Axiom:

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

Attachments

Home
About PCA
Reference Data Services (RDS)
RDS Operations Support
Meetings and Conferences
ISO 15926
Special Interest Groups
Technical Advisory Board
Norwegian Continental Shelf Std
Projects
Search