Template IndirectPropertyRestrictionOfIndividual


This template is for assigning an IndirectProperty to an Individual and also restricting the according property to a member of a specific set of properties.

IndirectPropertyRestrictionOfIndividual(a, b, c, d, e) means that a is a ClassOfIndirectProperty, b is a (temporal part of) PossibleIndividual to which the relation applies, c is a floating point number with the property value assigned to b, d the Scale as unit of measurement, and e is an EnumeratedPropertySet. b has a a type of ClassOfIndirectProperty, which has c value and d unit of measurement. c corresponds to a Property that is a member of e and that is supposed to be an existing class in RDL.

Roles:
1 hasPropertyType ClassOfIndirectProperty
2 hasPropertyPossessor PossibleIndividual
3 valPropertyValue ExpressReal
4 hasPropertyScale Scale
5 hasPropertySet EnumeratedPropertySet

Axiom:

IndirectPropertyRestrictionOfIndividual(x1, x2, x3, x4, x5) <-> 
ClassOfIndirectProperty(x1) &
PossibleIndividual(x2) & 
ExpressReal(x3) & 
Scale(x4) &
EnumeratedPropertySet(x5) & 
exists u (
          InstanceOfIndirectProperty(x1, x2, u) &
          RealMagnitudeOfProperty(u, x3, x4) &
          ClassificationTemplate(u, x5)).

EXAMPLE The statement IndirectPropertyRestrictionOfIndividual (NOMINAL DIAMETER, CV123, 100, ABC SET OF DIAMETERS, MILLIMETRE)

Analysis diagram

EXAMPLE The statement IndirectPropertyRestrictionOfIndividual (DESIGN PRESSURE, CV123, 10, ABC SET OF PRESSURES, bar)

Analysis diagram

NOTE: EnumeratedPropertySet used in a template instance should already exist in the RDL and contain as members all the required Properties.

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