Version 5 (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 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

Attachments

Home
About PCA
Reference Data Services
Projects
Workgroups