Template ClassOfPropertyRestrictionOfClass

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.

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.

Roles:
1 hasPropertySet EnumeratedPropertySet
2 hasPossessorClass ClassOfArrangedIndividual
3 hasPropertySpace PropertySpace
4 hasScale Scale

Axiom:

ClassOfPropertyRestrictionOfClass(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 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