Changes between Version 1 and Version 2 of SigMmt/Templates/IndirectPropertyRestrictionOfClass
- Timestamp:
- 02/15/11 12:47:23 (13 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
SigMmt/Templates/IndirectPropertyRestrictionOfClass
v1 v2 1 1 === Template !IndirectPropertyRestrictionOfClass === 2 2 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.3 [[br]]This template is for stating that a member of a specific Class of Individuals may only be assigned an Indirect Property that is contained by a specific set of properties. 4 4 [[br]] 5 [[br]]!IndirectPropertyRestrictionOfClass(a, b, c, d) means that a is a n !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.5 [[br]]!IndirectPropertyRestrictionOfClass(a, b, c, d) means that a is a !ClassOfIndirectProperty, b is a !ClassOfArrangedIndividual to which the relation applies, c is a Scale as unit of measure, and d is an !EnumeratedPropertySet to which assigned Properties belong. 6 6 [[br]] 7 7 [[br]]Roles: 8 [[br]]1 hasProperty Set !EnumeratedPropertySet8 [[br]]1 hasPropertyType !ClassOfIndirectProperty 9 9 [[br]]2 hasPossessorClass !ClassOfArrangedIndividual 10 [[br]]3 has PropertySpace !PropertySpace11 [[br]]4 has Scale Scale10 [[br]]3 hasScale Scale 11 [[br]]4 hasPropertySet !EnumeratedPropertySet 12 12 13 13 Axiom: 14 14 {{{ 15 15 IndirectPropertyRestrictionOfClass(x1, x2, x3, x4) <-> 16 EnumeratedPropertySet(x1) &16 ClassOfIndirectProperty(x1) & 17 17 ClassOfArrangedIndividual(x2) & 18 PropertySpace(x3) &19 Scale(x4) &20 ClassOfClassificationTemplate(x2, x1) &21 ClassOfClassificationTemplate(x3, x1) & 22 exists p, u (Scale(p) and NumberSpace(u) and ScaleTriple(p, u, x3) & SpecializationTemplate(p, x4)).18 Scale(x3) & 19 EnumeratedPropertySet(x4) & 20 exists u (PropertySpace(u) & ClassOfIndirectPropertyTriple(x1, x2, u) & 21 exists v (NumberSpace(v) & ScaleTriple(x3, v, u)) & 22 ClassOfClassificationTemplate(u, x4)). 23 23 }}} 24 24 25 EXAMPLE The statement !IndirectPropertyRestrictionOfClass ( ABC SET OF DIAMETERS, ELBOW TYPE XYZ, NOMINAL DIAMETER, MILLIMETRE)25 EXAMPLE The statement !IndirectPropertyRestrictionOfClass (NOMINAL DIAMETER, ELBOW TYPE XYZ, MILLIMETRE, ABC SET OF DIAMETERS) 26 26 27 27 === Discussion ===