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

Timestamp:

11/20/11 10:28:31 (12 years ago)

Author:

mfedorov (IP: 83.160.133.120)

Comment:

--

SigMmt/Templates/RestrictedDimensionOfIndividual

@@ -3 +3 @@
 [[br]]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.
 [[br]]
-[[br]]!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.
+[[br]]!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.
 [[br]]
 [[br]]Roles: 
 [[br]]1 hasTypeOfShapeDimension !ClassOfShapeDimension 
 [[br]]2 hasIndividual !PossibleIndividual 
-[[br]]3 hasProperty Property 
+[[br]]3 valPropertyValue !ExpressReal 
 [[br]]4 hasPropertyScale Scale 
 [[br]]5 hasPropertySet !EnumeratedPropertySet 
@@ -18 +18 @@
 ClassOfShapeDimension(x1) &
 PossibleIndividual(x2) & 
-Property(x3) & 
+ExpressReal(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)).
+          exists u, p (ShapeDimension(u) & Property(p) & ClassificationTemplate(u, x1) & ClassificationTemplate(v, u) & PropertyForShapeDimensionTemplate(p, u) &
+          ClassificationTemplate(p, x5) &
+          RealMagnitudeOfProperty(p, x3, x4))).
 }}}