Changes between Version 4 and Version 5 of SigMmt/Templates/ClassOfPropertyRestrictionOfClass

Timestamp:

02/14/11 11:05:15 (13 years ago)

Author:

mfedorov (IP: 93.186.61.242)

Comment:

--

SigMmt/Templates/ClassOfPropertyRestrictionOfClass

@@ -3 +3 @@
 [[br]]This template is for stating that a member of a specific Class of Individuals may only be assigned a Property that is contained by a specific set of properties.
 [[br]]
-[[br]]!ClassOfPropertyRestrictionOfClass(a, b, c, d) means that a is a !PropertySpace, b is a !ClassOfArrangedIndividual to which the relation applies, c is a subclass of a that contains those Properties that can be assigned to members of b, and d is a Scale as unit of measure. 
+[[br]]!ClassOfPropertyRestrictionOfClass(a, b, c, d) means that a is an !EnumeratedPropertySet, b is a !ClassOfArrangedIndividual to which the relation applies, c is a !PropertySpace to which members of a belong, and d is a Scale as unit of measure. 
 [[br]]
 [[br]]Roles: 
-[[br]]1 hasPropertySpace !PropertySpace 
+[[br]]1 hasPropertySet !EnumeratedPropertySet 
 [[br]]2 hasPossessorClass !ClassOfArrangedIndividual 
-[[br]]3 hasPropertySpaceRestriction !PropertySpace
+[[br]]3 hasPropertySpace !PropertySpace
 [[br]]4 hasScale Scale
 
@@ -14 +14 @@
 {{{
 ClassOfPropertyRestrictionOfClass(x1, x2, x3, x4) <-> 
-PropertySpace(x1) & 
+EnumeratedPropertySet(x1) & 
 ClassOfArrangedIndividual(x2) & 
 PropertySpace (x3) &
 Scale(x4) &   
-ClassificationTemplate(x2, x3) &
-SpecializationTemplate(x3, x1) & 
+ClassOfClassificationTemplate(x2, x1) &
+ClassOfClassificationTemplate(x3, x1) & 
 exists p, u (Scale(p) and NumberSpace(u) and ScaleTriple(p, u, x3) & SpecializationTemplate(p, x4)) .
 }}}
 
-EXAMPLE The statement !ClassOfPropertyRestrictionOfClass (NOMINAL DIAMETER, ELBOW TYPE XYZ, ABC SET OF DIAMETERS, MILLIMETRE)
+EXAMPLE The statement !ClassOfPropertyRestrictionOfClass (ABC SET OF DIAMETERS, ELBOW TYPE XYZ, NOMINAL DIAMETER, MILLIMETRE)
+
+=== Discussion ===
+[Mikhail Fedorov] My latest understanding is that this template IS NOT NEEDED. Since all of its context should be described at the level of RDL...
 
 === Analysis diagram ===