Version 2 (modified by mfedorov, 13 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.

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

Axiom:

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.

Attachments

Home
About PCA
Reference Data Services
Projects
Workgroups