Version 18 (modified by vvagr, 13 years ago) |
---|
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.
REMARK: From Victor Agroskin: The "scale" has class_of_functional_mapping.domain defined as property_space
In "class_of_property" definition we have SUPERTYPE OF (ONEOF(property_space, enumerated_property_set)
Is it possible to have an instance of enumerated_property_set as subclass of an instance of property_space and as domain of scale then?
Attachments
- DirectPropertyRestrictionOfIndividual.vsd (137.5 kB) - added by mfedorov 13 years ago.
- DirectPropertyRestrictionOfIndividual.png (119.9 kB) - added by mfedorov 13 years ago.
- DirectPropertyRestrictionOfIndividual.2.png (122.6 kB) - added by mfedorov 13 years ago.