Template DirectPropertyRestrictionOfIndividual

This template is for assigning a property to an Individual for a Property that is not an IndirectProperty and also restricting the assigned property to a member of a specific set of properties.

DirectPropertyRestrictionOfIndividual(a, b, c) means that a is an EnumeratedPropertySet, b is a (temporal part of) PossibleIndividual to which the relation applies and c is a Property assigned where c is supposed to be an existing class in RDL.

Roles:
1 hasPropertySet EnumeratedPropertySet
2 hasPropertyPossessor PossibleIndividual
3 hasProperty Property

Axiom:

DirectPropertyRestrictionOfIndividual(x1, x2, x3) <-> 
EnumeratedPropertySet(x1) & 
PossibleIndividual(x2) & 
Property(x3) & 
ClassificationTemplate(x2, x3) &
ClassificationTemplate(x3, x1).

EXAMPLE The statement DirectPropertyRestrictionOfIndividual (ABC SET OF NOMINAL DIAMETERS, ELBOW12345, 100MM)

Analysis diagram

NOTE: The assigned property and property space used in a template instance must already exist in the RDL including all the required relationships to describe them (property_quantification, scale etc). It is not in scope of the template.