OML formalization of VIM4 Committee Draft 11 January 2021

Commit Snapshot,

This version:
https://opencaesar.github.io/metrology-vocabularies/bipm.org/jcgm/vim4
Editor:
Jet Propulsion Laboratory
Copyright:
Copyright 2021, by the California Institute of Technology. ALL RIGHTS RESERVED. United States Government Sponsorship acknowledged. Any commercial use must be negotiated with the Office of Technology Transfer at the California Institute of Technology. This software may be subject to U.S. export control laws. By accepting this software, the user agrees to comply with all applicable U.S. export laws and regulations. User has the responsibility to obtain export licenses, or other export authority as may be required before exporting such information to foreign countries or providing access to foreign persons.

Abstract

1. Namespace

2. Imports

3. Aspects

3.1. GeneralProperty

Supertypes
Subtypes

3.2. GeneralQuantity

General quantity in [VIM4 CD: 1.1] corresponds precisely to kind-of-quantity in [OonP: S.13.3.1].

property whose instances can be compared by ratio or only by order

Supertypes
Subtypes
Relations with target

3.3. HasCoherence

Subtypes
Properties

3.4. IdentifiedElement

Subtypes
Properties
Keys

3.5. IndividualProperty

Supertypes
Subtypes
Relations with target

3.6. IndividualQuantity

instance of a general quantity

Supertypes
Subtypes
Relations with source
Relations with target

3.7. Object

Relations with target

3.8. QuantityValue

Subtypes
Properties
Relations with source
Relations with target

3.9. RationalExponent

Subtypes
Properties

4. Concepts

4.1. GeneralNominalProperty

Supertypes

4.2. GeneralOrdinalQuantity

general quantity whose instances can be compared by order but not by ratio

Supertypes

4.3. GeneralUnitaryQuantity

general quantity whose instances can be compared by ratio

Supertypes
Relations with source
Relations with target

4.4. IndividualNominalProperty

Supertypes

4.5. IndividualOrdinalQuantity

instance of a general ordinal quantity

Supertypes
Subtypes
Relations with source

4.6. IndividualUnitaryQuantity

instance of a general unitary quantity

Supertypes
Subtypes
Relations with source

4.7. InherentOrdinalQuantity

Supertypes
Relations with source

4.8. InherentUnitaryQuantity

Supertypes
Relations with source

4.9. Measurement

Supertypes
Relations with target

4.10. MeasurementMethod

Supertypes
Relations with target

4.11. MeasurementModel

Supertypes
Relations with source
Relations with target

4.12. MeasurementPrinciple

Supertypes
Relations with target

4.13. MeasurementProcedure

Supertypes
Relations with source

4.14. MeasurementScale

Supertypes
Subtypes
Relations with source

4.15. MeasurementUncertainty

Relations with target

4.16. MeasurementUnit

Supertypes
Subtypes
Relations with source
Relations with target

4.17. Multiple

Supertypes
Relations with target

4.18. OrdinalQuantityValue

Supertypes
Relations with source

4.19. OrdinalScale

Supertypes
Relations with source

4.20. PrefixedMeasurementUnit

Supertypes
Relations with source

4.21. ReferenceSet

Supertypes
Relations with source

4.22. SystemOfQuantities

system of quantities in [VIM4 CD: 1.3, Note 2] corresponds precisely to system of unitary kinds-ef-quantity in [OonP: S.13.7].

set of quantities together with a set of non-contradictory equations relating those quantities.

Supertypes
Relations with source
Relations with target

4.23. SystemOfUnits

set of base units and derived units, together with their multiples and submultiples, defined in accordance with given rules, for a given system of quantities.

Supertypes
Relations with source

4.24. UnitaryQuantityValue

Supertypes
Properties
Relations with source

4.25. UnitaryScale

Supertypes
Relations with source

4.26. UnprefixedMeasurementUnit

Supertypes
Relations with source

5. Relation Entities

5.1. Characterizes

An InherentQuantity characterizes an Object.

Source IndividualQuantity
Target Object
Forward Relation characterizes
Attributes
  • Functional

5.2. Describes

Source MeasurementProcedure
Target Measurement
Forward Relation describes
Attributes
  • Functional

5.3. Given

Source SystemOfUnits
Target SystemOfQuantities
Forward Relation given
Attributes
  • Functional

5.4. HasInput

Source MeasurementModel
Target IndividualQuantity
Forward Relation hasInput
Attributes

    5.5. HasMultiple

    Source MeasurementUnit
    Target Multiple
    Forward Relation hasMultiple
    Attributes
    • Functional

    5.6. HasPowerOfUnitFactor

    Source SystemHasDerivedUnit
    Target SystemHasUnit
    Supertypes
    Forward Relation hasPowerOfUnitFactor
    Attributes

      5.7. HasPowerOfUnitaryQuantityFactor

      Source SystemHasDerivedUnitaryQuantity
      Target SystemHasUnitaryQuantity
      Supertypes
      Forward Relation hasPowerOfUnitaryQuantityFactor
      Attributes

        5.8. HasQuantityDimension

        Source SystemHasUnitaryQuantity
        Target SystemHasBaseUnitaryQuantity
        Supertypes
        Forward Relation hasQuantityDimension
        Attributes

          5.9. HasUnit

          Source UnitaryQuantityValue
          Target MeasurementUnit
          Forward Relation unit
          Attributes
          • Functional

          5.10. Includes

          Source MeasurementScale
          Target IndividualProperty
          Forward Relation includes
          Attributes
            Properties

            5.11. Instantiates

            Source IndividualQuantity
            Target GeneralQuantity
            Forward Relation instantiates
            Attributes
            • Functional

            5.12. IsAttributedTo

            Source QuantityValue
            Target IndividualQuantity
            Forward Relation isAttributedTo
            Attributes
            • Functional

            5.13. IsBasedOn

            Source MeasurementProcedure
            Target MeasurementModel
            Forward Relation isBasedOn
            Attributes
            • Functional

            5.14. IsInfluencedBy

            Source MeasurementModel
            Target IndividualQuantity
            Forward Relation isInfluencedBy
            Attributes

              5.15. IsMultipleOf

              Source MeasurementUnit
              Target MeasurementUnit
              Forward Relation isMultipleOf
              Attributes
              • Functional

              5.16. Measures

              Source MeasurementModel
              Target IndividualQuantity
              Forward Relation measures
              Attributes
              • Functional

              5.17. Per

              Source MeasurementProcedure
              Target MeasurementPrinciple
              Forward Relation per
              Attributes

                5.18. Specializes

                Source GeneralUnitaryQuantity
                Target GeneralUnitaryQuantity
                Forward Relation specializes
                Attributes
                • Asymmetric
                • Irreflexive

                5.19. SystemHasBaseUnit

                Source SystemOfUnits
                Target MeasurementUnit
                Supertypes
                Forward Relation systemHasBaseUnit
                Attributes

                  5.20. SystemHasBaseUnitaryQuantity

                  quantity in a conventionally chosen subset of a given system of quantities, where no quantity in the set of base quantities can be expressed in terms of the others.

                  Source SystemOfQuantities
                  Target GeneralUnitaryQuantity
                  Supertypes
                  Forward Relation systemHasBaseUnitaryQuantity
                  Attributes
                    Properties
                    Relations with target

                    5.21. SystemHasDerivedUnit

                    Source SystemOfUnits
                    Target MeasurementUnit
                    Supertypes
                    Forward Relation systemHasDerivedUnit
                    Attributes
                      Properties
                      Relations with source

                      5.22. SystemHasDerivedUnitaryQuantity

                      quantity, in a system of quantities, defined in terms of the base quantities of that system.

                      Source SystemOfQuantities
                      Target GeneralUnitaryQuantity
                      Supertypes
                      Forward Relation systemHasDerivedUnitaryQuantity
                      Attributes
                        Properties
                        Relations with source

                        5.23. SystemHasUnit

                        Source SystemOfUnits
                        Target MeasurementUnit
                        Subtypes
                        Forward Relation systemHasUnit
                        Attributes
                          Relations with target

                          5.24. SystemHasUnitaryQuantity

                          Source SystemOfQuantities
                          Target GeneralUnitaryQuantity
                          Subtypes
                          Forward Relation systemHasUnitaryQuantity
                          Attributes
                            Relations with source
                            Relations with target

                            5.25. UsesCorrection

                            Source MeasurementModel
                            Target IndividualQuantity
                            Forward Relation usesCorrection
                            Attributes

                              5.26. UsesOperationsOf

                              Source MeasurementProcedure
                              Target MeasurementMethod
                              Forward Relation usesOperationsOf
                              Attributes
                              • Functional

                              5.27. YieldsMeasuredValue

                              Source MeasurementModel
                              Target QuantityValue
                              Forward Relation yieldsMeasuredValue
                              Attributes

                                5.28. YieldsMeasurementUncertainty

                                Source MeasurementModel
                                Target MeasurementUncertainty
                                Forward Relation yieldsMeasurementUncertainty
                                Attributes
                                • Functional

                                6. Scalar Properties

                                6.1. dimensionSymbol

                                Domain SystemHasBaseUnitaryQuantity
                                Range string
                                Attributes Functional

                                6.2. exponent

                                Domain RationalExponent
                                Range rational
                                Attributes Functional

                                6.3. hasDoubleNumber

                                Domain UnitaryQuantityValue
                                Range double
                                Attributes Functional

                                6.4. id

                                Domain IdentifiedElement
                                Range string
                                Attributes Functional

                                6.5. isCoherent

                                Domain HasCoherence
                                Range boolean
                                Attributes Functional

                                6.6. isDimensionless

                                Domain SystemHasDerivedUnitaryQuantity
                                Range boolean
                                Attributes Functional

                                6.7. isOffSystemUnit

                                Domain SystemHasDerivedUnit
                                Range boolean
                                Attributes Functional

                                6.8. isReferenceValue

                                Domain QuantityValue
                                Range boolean
                                Attributes Functional

                                6.9. isTrueValue

                                Domain QuantityValue
                                Range boolean
                                Attributes Functional

                                6.10. ordinalPosition

                                Domain Includes
                                Range positiveInteger
                                Attributes Functional

                                7. Rules

                                7.1. DerivationDefinedWithinTheSameSystemOfQuantities

                                hasPowerOfUnitaryQuantityFactor(d, f) ∧ SystemHasDerivedUnitaryQuantity(ds, d, dq) ∧ SystemHasUnitaryQuantity(fs, f, fq) -> sameAs(ds, fs)

                                7.2. DerivationDefinedWithinTheSameSystemOfUnits

                                hasPowerOfUnitFactor(d, f) ∧ SystemHasDerivedUnit(ds, d, du) ∧ SystemHasUnit(fs, f, fu) -> sameAs(ds, fs)

                                7.3. DimensionDefinedWithinTheSameSystemOfQuantities

                                hasQuantityDimension(d, b) ∧ SystemHasUnitaryQuantity(ds, d, dq) ∧ SystemHasBaseUnitaryQuantity(bs, b, bq) -> sameAs(ds, bs)

                                7.4. InstantiatesSpecializesTransitivity

                                instantiates(i, g1) ∧ specializes(g1, g2) -> instantiates(i, g2)

                                7.5. SpecializesTransitivity

                                specializes(a, b) ∧ specializes(b, c) -> specializes(a, c)

                                Index

                                Terms defined by this specification

                                Terms defined by reference