Version 1 (modified by mfedorov, 13 years ago) |
---|
Template IndirectPropertyRestrictionOfClass
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.
IndirectPropertyRestrictionOfClass(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.
Roles:
1 hasPropertySet EnumeratedPropertySet
2 hasPossessorClass ClassOfArrangedIndividual
3 hasPropertySpace PropertySpace
4 hasScale Scale
Axiom:
IndirectPropertyRestrictionOfClass(x1, x2, x3, x4) <-> EnumeratedPropertySet(x1) & ClassOfArrangedIndividual(x2) & PropertySpace (x3) & Scale(x4) & 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 IndirectPropertyRestrictionOfClass (ABC SET OF DIAMETERS, ELBOW TYPE XYZ, NOMINAL DIAMETER, MILLIMETRE)
Discussion
Analysis diagram
Attachments
- IndirectPropertyRestrictionOfClass.png (84.8 kB) - added by mfedorov 13 years ago.
- IndirectPropertyRestrictionOfClass - NominalDiameter.vsd (132.5 kB) - added by mfedorov 13 years ago.