Version 2 (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 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 hasPropertySpace 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

Home
About PCA
Reference Data Services
Projects
Workgroups