Template DirectPropertyScaleReal


This template is for assigning a property value and unit of measurement to an Individual for a Property that is not an IndirectProperty.

From ISO 15926-2 Property: NOTE A member of a Property is a PossibleIndividual that has the same degree or magnitude of the quality or characteristic represented by the Property as other members.

To make the distinction with IndirectProperty, this template starts its name with Direct.

DirectPropertyScaleReal(a, b, c, d) 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 and d the Scale as unit of measurement.


Roles:
1 hasPropertySpace PropertySpace
2 hasPropertyPossessor PossibleIndividual
3 valPropertyValue ExpressReal
4 hasPropertyScale Scale

Axiom

DirectPropertyScaleReal(x1, x2, x3, x4) <-> 
PropertySpace(x1) & 
PossibleIndividual(x2) & 
ExpressReal(x3) & 
Scale(x4) & 
exists p (Property(p) &
	exists c (Classification(c)
             & hasClassified(c, x2)
             & hasClassifier(c, p)  &
	exists c0 (Classification(c0)
             & hasClassified(c0, p)
             & hasClassifier(c0, x1)  &
	RealMagnitudeOfProperty(p, x3, x4)))) .

EXAMPLE The statement DirectPropertyScaleReal(LENGTH, 123, 4.300, METER)

Lifted template

  PropertySpace(x1)
& PossibleIndividual(x2)
& ExpressReal(x3)
& Scale(x4)
& exists p
     (  Property(p)
      & exists c
           (  Classification(c)
            & hasClassified(c, x2)
            & hasClassifier(c, p)
            & exists c0
                 (  Classification(c0)
                  & hasClassified(c0, p)
                  & hasClassifier(c0, x1)
                  & Property(p)
                  & ExpressReal(x3)
                  & Scale(x4)
                  & exists u
                       (  (  Property(p)
                           & RealNumber(u)
                           & Scale(x4)
                           & exists u0
                                (  (  PropertyQuantification(u0)
                                    & hasInput(u0, p)
                                    & hasResult(u0, u))
                                 & exists z
                                      (  Classification(z)
                                       & hasClassified(z, u0)
                                       & hasClassifier(z, x4))))
                        & ExpressReal(x3)
                        & Thing(u)
                        & exists z0
                             (  ClassOfIdentification(z0)
                              & hasPattern(z0, x3)
                              & hasRepresented(z0, u))))))

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.

Revision log

01/18/2011OnnoPaapReleased
02/05/2011OnnoPaapRevised: added ExpressReal and made new analysis diagram

Attachments

Home
About PCA
Reference Data Services (RDS)
RDS Operations Support
Meetings and Conferences
ISO 15926
Special Interest Groups
Technical Advisory Board
Norwegian Continental Shelf Std
Projects
Search