Changes between Version 5 and Version 6 of SigMmt/Templates/IndirectPropertyRestrictionOfIndividual

Timestamp:

11/20/11 10:04:44 (12 years ago)

Author:

mfedorov (IP: 83.160.133.120)

Comment:

--

SigMmt/Templates/IndirectPropertyRestrictionOfIndividual

@@ -1 +1 @@
 === Template !IndirectPropertyRestrictionOfIndividual ===
 
-[[br]]This template is for assigning an !IndirectProperty to an Individual and also restricting the assigned property to a member of a specific set of properties.
+[[br]]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.
 [[br]]
-[[br]]!IndirectPropertyRestrictionOfIndividual(a, b, c, d, e) means that a is a !ClassOfIndirectProperty, b a (temporal part of) !PossibleIndividual to which the relation applies, c is a Property assigned to b, d the Scale as unit of measurement, and e is an !EnumeratedPropertySet. b has a a type of !ClassOfIndirectProperty and has d unit of measurement. c is a member of e where c is supposed to be an existing class in RDL.
+[[br]]!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 represents a Property that is a member of e and that is supposed to be an existing class in RDL.
 [[br]]
 [[br]]Roles: 
 [[br]]1 hasPropertyType !ClassOfIndirectProperty 
 [[br]]2 hasPropertyPossessor !PossibleIndividual 
-[[br]]3 hasProperty Property 
+[[br]]3 valPropertyValue ExpressReal 
 [[br]]4 hasPropertyScale Scale 
 [[br]]5 hasPropertySet !EnumeratedPropertySet 
@@ -18 +18 @@
 ClassOfIndirectProperty(x1) &
 PossibleIndividual(x2) & 
-Property(x3) & 
+ExpressReal(x3) & 
 Scale(x4) &
 EnumeratedPropertySet(x5) & 
-InstanceOfIndirectProperty(x1, x2, x3) &
-ClassificationTemplate(x3, x5) &
-exists u (RealMagnitudeOfProperty(x3, u, x4)).
+exists u (
+          InstanceOfIndirectProperty(x1, x2, u) &
+          RealMagnitudeOfProperty(u, x3, x4) &
+          ClassificationTemplate(u, x5)).
 }}}
 
-EXAMPLE The statement !IndirectPropertyRestrictionOfIndividual (NOMINAL DIAMETER, CV123, 100MM, ABC SET OF DIAMETERS, MILLIMETRE)
+EXAMPLE The statement !IndirectPropertyRestrictionOfIndividual (NOMINAL DIAMETER, CV123, 100, ABC SET OF DIAMETERS, MILLIMETRE)
 === Analysis diagram ===
 [[Image(IndirectPropertyRestrictionOfIndividual-NomDiam.png)]]
 
-EXAMPLE The statement !IndirectPropertyRestrictionOfIndividual (DESIGN PRESSURE, CV123, 10bar, ABC SET OF PRESSURES, bar)
+EXAMPLE The statement !IndirectPropertyRestrictionOfIndividual (DESIGN PRESSURE, CV123, 10, ABC SET OF PRESSURES, bar)
  === Analysis diagram ===
 [[Image(IndirectPropertyRestrictionOfIndividual.png)]]
 
-NOTE: !EnumeratedPropertySet used in a template instance should already exist in the RDL and contain as members all the required Properties. Relationships like property_quantification, scale etc are also defined in the RDL. It is not in scope of the template.
+NOTE: !EnumeratedPropertySet used in a template instance should already exist in the RDL and contain as members all the required Properties.