Version 7 (modified by mfedorov, 13 years ago) |
---|
Template DirectPropertyRestrictionOfIndividual
This template is for assigning a property value and unit of measurement 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, d, e) means that a is a PropertySpace, b is a (temporal part of) PossibleIndividual to which the relation applies, c is a floating point number for the property value, d is the Scale as unit of measurement and e is a subclass of a or any other PropertySpace to which the assigned Property correspond.
Roles:
1 hasPropertySpace PropertySpace
2 hasPropertyPossessor PossibleIndividual
3 valPropertyValue ExpressReal
4 hasPropertyScale Scale
5 hasPropertySpaceRestriction PropertySpace
Axiom:
DirectPropertyRestrictionOfIndividual(x1, x2, x3, x4, x5) <-> PropertySpace(x1) & PossibleIndividual(x2) & RealNumber(x3) & Scale(x4) & PropertySpace (x5) & exists p (Property(p) & ClassificationTemplate(x2, p) & ClassificationTemplate(p, x1) & ClassificationTemplate(p, x5) & exists u (PropertyQuantificationTriple(u, p, x3) & ClassificationTemplate(u, x4) & )) .
EXAMPLE The statement DirectPropertyRestrictionOfIndividual (LENGTH, 123, 4.300, METER, ABC SET OF LENGTHS)
Analysis diagram
NOTE: The relationship for the Scale between the domain and codomain must already exist in the RDL. It is not in scope of the template.
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.