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

Analysis diagram

Attachments

Home
About PCA
Reference Data Services (RDS)
RDS Operations Support
Meetings and Conferences
ISO 15926
Special Interest Groups
Technical Advisory Board
Norwegian Continental Shelf Std
Projects
Search