Version 3 (modified by mfedorov, 12 years ago)

--

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
Projects
Workgroups