Version 2 (modified by mfedorov, 12 years ago)


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 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.

1 hasPropertySpace PropertySpace
2 hasPossessorClass ClassOfArrangedIndividual
3 hasPropertySpaceRestriction PropertySpace
4 hasScale Scale


ClassOfPropertyRestrictionOfClass(x1, x2, x3, x4) <-> 
PropertySpace(x1) & 
ClassOfArrangedIndividual(x2) & 
PropertySpace (x3) &
Scale(x4) &   
ClassificationTemplate(x2, x3) &
SpecializationTemplate(x3, x1) & 
exists p, u (Scale(p) and NumberSpace(u) and ScaleTriple(p, u, x3) & SpecializationTemplate(p, x4)) .

EXAMPLE The statement ClassOfPropertyRestrictionOfClass (LENGTH, ELBOW TYPE XYZ, ABC SET OF LENGTHS)

Analysis diagram

NOTE: The relationship for the Scale between the domain and codomain must already exist in the RDL. It is not in scope of the template.


About PCA
Reference Data Services