Template IndirectPropertyRestrictionOfClass


This template is for stating that a member of a specific Class of Individuals may only be assigned an Indirect Property that is contained by a specific set of properties.

IndirectPropertyRestrictionOfClass(a, b, c, d) means that a is a ClassOfIndirectProperty, b is a ClassOfArrangedIndividual to which the relation applies, c is a Scale as unit of measure, and d is an EnumeratedPropertySet to which assigned Properties belong.

Roles:
1 hasPropertyType ClassOfIndirectProperty
2 hasPossessorClass ClassOfArrangedIndividual
3 hasScale Scale
4 hasPropertySet EnumeratedPropertySet

Axiom:

IndirectPropertyRestrictionOfClass(x1, x2, x3, x4) <-> 
ClassOfIndirectProperty(x1) & 
ClassOfArrangedIndividual(x2) & 
Scale(x3) &
EnumeratedPropertySet(x4) &   
exists u (ClassOfIndirectPropertyTriple(x1, x2, u) &
          exists v (ScaleTriple(x3, v, u)) &
          ClassOfClassificationTemplate(u, x4)).

EXAMPLE The statement IndirectPropertyRestrictionOfClass (NOMINAL DIAMETER, ELBOW TYPE XYZ, MILLIMETRE, ABC SET OF DIAMETERS)

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