# Measurement Traceability Ontology — Flow Algebra
URL: https://kirethresearch.org/booksai-core/ontologies/mathematical-ontologies/measurement-units-ontologies/instrumentation/measurement-traceability-ontology.html
FLOW MeasurementTraceabilityOntology {
DOMAIN:
Mathematical Ontologies
-> Measurement & Units Ontologies
-> Instrumentation
-> Measurement Traceability Ontology
PURPOSE:
Represent metrological traceability as the property of a measurement result whereby the result can be related to a reference through a documented unbroken chain of calibrations, each contributing to measurement uncertainty. The ontology models measurement results, references, standards, calibration events, traceability chains and graphs, uncertainty accumulation, SI traceability, reference materials, national and international standards, comparison evidence, calibration certificates, scope, validity, correlation, provenance, digital records, versioning, auditability and machine-consumable reasoning while strictly distinguishing metrological traceability from data traceability, sample traceability, blockchain provenance and mere possession of a calibration certificate.
ENTITY MetrologicalTraceability {
TYPE: MeasurementResultProperty
DEFINITION:
property_of_measurement_result
whereby_result_can_be_related_to_reference
through_documented_unbroken_chain_of_calibrations
each_contributing_to_measurement_uncertainty
PROPERTIES:
belongs_to_measurement_result
has_reference
has_calibration_chain
requires_documentation
requires_uncertainty_at_each_material_link
has_scope
has_validity
has_provenance
}
ENTITY MeasurementResult {
TYPE: QuantityEstimate
COMPONENTS:
measured_value
unit
uncertainty
measurand
method
calibration_context
provenance
}
ENTITY TraceabilityReference {
TYPE: MetrologicalReference
POSSIBLE:
SI_unit_realisation
measurement_standard
conventional_reference
certified_reference_material
reference_measurement_procedure
RULE:
reference MUST be_explicitly_identified
}
ENTITY CalibrationLink {
TYPE: TraceabilityChainEdge
COMPONENTS:
calibrated_item
reference_standard
calibration_event
assigned_relation
uncertainty_contribution
date
validity
certificate
}
TERMINOLOGY_MODEL {
terms:
metrological_traceability
measurement_traceability
traceability_chain
calibration_hierarchy
traceable_to_SI
reference_standard
calibration_certificate
provenance
data_lineage
sample_traceability
RULE:
metrological_traceability MUST be_distinguished_from_non_metrological_traceability
}
RESULT_PROPERTY_MODEL {
traceability:
property_of_specific_measurement_result
RULE:
instrument_is_not_intrinsically_traceable_without_reference_to_calibrated_state_and_result_context
}
CHAIN_MODEL {
generic:
measurement_result
-> calibrated_instrument
-> working_standard
-> reference_standard
-> higher_standard
-> declared_reference
RULE:
every_required_link MUST be_documented_and_valid
}
GRAPH_MODEL {
nodes:
measurement_results
instruments
standards
calibration_events
reference_values
laboratories
certificates
SI_realisations
edges:
calibrated_by
calibrated_against
value_assigned_by
traceable_to
documented_by
performed_by
RULE:
traceability_is_general_directed_graph_not_necessarily_simple_linear_chain
}
UNBROKEN_CHAIN_MODEL {
condition:
every_link_connects_current_result_to_declared_reference
broken_if:
missing_calibration
unknown_reference
invalid_standard
undocumented_transfer
expired_or_invalid_state_when_material
missing_required_uncertainty
RULE:
broken_chain MUST_NOT be_described_as_established_traceability
}
CALIBRATION_LINK_MODEL {
source:
higher_reference
target:
calibrated_item
output:
assigned_value_or_calibration_relation
uncertainty:
includes_source_and_transfer_components
RULE:
each_link_must_add_or_preserve_uncertainty_information
}
UNCERTAINTY_CHAIN_MODEL {
link_i:
standard_uncertainty_component u_i
combined:
depends_on_measurement_model_and_covariance
simple_independent_example:
u_total =
sqrt(sum(u_i^2))
RULE:
uncertainty_does_not_generally_propagate_by_simple_RSS_if_links_are_correlated_or_models_nontrivial
}
COVARIANCE_MODEL {
shared_reference:
can_create_correlation_between_results
comparison:
Var(A-B) =
Var(A)+Var(B)-2Cov(A,B)
RULE:
common_traceability_does_not_mean_independence
}
SI_TRACEABILITY_MODEL {
reference:
International_System_of_Units
route:
realised_units
primary_methods
quantum_standards
national_standards
calibrated_reference_standards
RULE:
phrase_traceable_to_SI_requires_identifiable_chain_and_quantity_scope
}
NON_SI_REFERENCE_MODEL {
reference:
conventional_scale
certified_reference
consensus_reference
method_defined_quantity
RULE:
traceability_reference_need_not_always_be_SI
but_must_be_declared
}
QUANTITY_KIND_MODEL {
chain:
must_support_same_or_validly_related_quantity_kind
RULE:
traceability_of_one_quantity_does_not_automatically_transfer_to_unrelated_quantity
}
UNIT_MODEL {
values:
units_may_change_along_chain
requirement:
transformations_are_defined_and_traceable
RULE:
unit_conversion_alone_does_not_establish_metrological_traceability
}
SCOPE_MODEL {
dimensions:
quantity_kind
range
uncertainty
method
matrix
frequency
wavelength
temperature
pressure
location
environmental_conditions
RULE:
traceability_claim MUST remain_within_supported_scope
}
RANGE_MODEL {
calibration_range:
supported_interval
RULE:
traceability_outside_calibrated_range_requires_additional_evidence_or_model
}
CONDITION_MODEL {
calibration_conditions:
may_differ_from_use_conditions
requirement:
correction_or_uncertainty_for_difference
RULE:
environmental_mismatch_can_weaken_traceability_evidence
}
CALIBRATION_STANDARD_MODEL {
standard:
assigned_value
uncertainty
status
certificate
traceability
RULE:
standard_used_in_chain_must_itself_have_valid_reference_link
}
WORKING_STANDARD_MODEL {
role:
routine_transfer_of_reference_to_instruments
RULE:
working_standard_requires_current_link_to_higher_reference
}
REFERENCE_STANDARD_MODEL {
role:
high_level_standard_within_organisation_or_location
RULE:
designation_reference_standard_does_not_by_itself_establish_external_traceability
}
PRIMARY_REFERENCE_MODEL {
highest_level:
primary_measurement_procedure_or_primary_standard
RULE:
primary_status_and_reference_basis MUST be documented
}
CERTIFIED_REFERENCE_MATERIAL_MODEL {
assigned_property:
value
uncertainty
traceability
RULE:
matrix_commutability_homogeneity_and_stability MAY constrain_traceability_scope
}
REFERENCE_PROCEDURE_MODEL {
measurement_procedure:
may_realise_or_transfer_reference
RULE:
procedure_version_and_uncertainty_model MUST be preserved
}
CALIBRATION_CERTIFICATE_MODEL {
fields:
certificate_identifier
calibrated_item
reference_standards
calibration_results
uncertainties
coverage_information
conditions
date
laboratory
traceability_statement
limitations
RULE:
certificate_is_evidence_node_not_traceability_itself
}
CERTIFICATE_VALIDATION_MODEL {
checks:
item_identity
date
scope
standards
uncertainty
laboratory
signatures_or_authorisation
amendments
status
RULE:
certificate_must_match_actual_item_and_calibration_state
}
CALIBRATION_LABORATORY_MODEL {
laboratory:
performs_calibration
metadata:
organisation
location
method
competence_scope
accreditation_when_applicable
RULE:
laboratory_identity_and_scope SHOULD be preserved
}
ACCREDITATION_MODEL {
accreditation:
third_party_attestation_of_competence_for_defined_scope
RULE:
accreditation_can_support_confidence_but_is_not_identical_to_traceability
}
COMPETENCE_MODEL {
evidence:
validated_methods
trained_personnel
suitable_environment
standards
uncertainty_evaluation
quality_system
RULE:
competence_and_traceability_are_related_but_distinct
}
COMPARISON_MODEL {
standard_or_laboratory_comparison:
provides_evidence_of_consistency
RULE:
comparison_result_can_support_but_does_not_replace_documented_calibration_chain
}
KEY_COMPARISON_MODEL {
participants:
national_or_designated_metrology_institutes
outputs:
reference_value
degrees_of_equivalence
RULE:
key_comparison_evidence_supports_international_equivalence
}
MUTUAL_RECOGNITION_MODEL {
context:
recognition_of_calibration_and_measurement_capabilities
RULE:
recognition_framework_is_institutional_support_not_definition_of_traceability
}
CALIBRATION_INTERVAL_MODEL {
each_item:
calibration_validity_review
factors:
drift
stability
use
environment
required_uncertainty
risk
RULE:
traceability_state_may_change_over_time
}
EXPIRY_MODEL {
due_date:
policy_or_validity_marker
RULE:
expired_calibration_requires_review
and_should_not_be_silently_treated_as_current
}
DRIFT_MODEL {
standard_or_instrument:
changes_between_calibrations
RULE:
drift_allowance_and_uncertainty MAY be_required_to_maintain_traceability_between_events
}
INTERMEDIATE_CHECK_MODEL {
check_standard:
monitors_stability
RULE:
intermediate_check_supports_validity_but_does_not_automatically_extend_calibration_scope
}
ADJUSTMENT_MODEL {
adjustment:
changes_instrument_response
RULE:
adjustment_can_break_continuity_of_prior_calibration_state
and_require_new_calibration
}
REPAIR_MODEL {
repair:
may_change_metrological_characteristics
RULE:
post_repair_recalibration_may_be_required
}
FIRMWARE_MODEL {
digital_instrument:
firmware_may_affect_calibration_relation
RULE:
material_firmware_change_can_create_new_metrological_state
}
SOFTWARE_MODEL {
calculation:
may_apply_calibration_coefficients_or_corrections
RULE:
software_version_and_algorithm SHOULD be preserved_when_part_of_traceability_chain
}
DIGITAL_CALIBRATION_RECORD_MODEL {
fields:
persistent_identifiers
timestamps
values
units
uncertainties
references
signatures
hashes
versions
RULE:
digital_record_integrity_supports_auditability_but_does_not_create_traceability_without_metrological_content
}
DIGITAL_SIGNATURE_MODEL {
purpose:
authenticate_record_and_detect_modification
RULE:
cryptographic_authenticity != metrological_validity
}
BLOCKCHAIN_DISTINCTION_MODEL {
blockchain:
may_provide_tamper_evident_record_history
RULE:
blockchain_provenance != metrological_traceability
}
DATA_LINEAGE_DISTINCTION_MODEL {
data_lineage:
history_of_data_generation_and_transformation
metrological_traceability:
relation_of_measurement_result_to_reference_through_calibration_chain
RULE:
data_lineage != metrological_traceability
}
SAMPLE_TRACEABILITY_DISTINCTION_MODEL {
sample_traceability:
identity_custody_and_history_of_sample
RULE:
sample_traceability != metrological_traceability
}
LEGAL_TRACEABILITY_DISTINCTION_MODEL {
legal_or_supply_chain_traceability:
origin_and_movement_of_goods_or_records
RULE:
nonmetrological_traceability_terms MUST be_disambiguated
}
PROVENANCE_MODEL {
provenance:
records_origin_history_and_responsibility
RULE:
provenance_supports_traceability_documentation
but_is_broader_than_metrological_traceability
}
IDENTIFIER_MODEL {
entities:
instruments
standards
certificates
calibrations
laboratories
methods
RULE:
persistent_identifiers_are_required_for_machine_resolvable_chain
}
VERSION_MODEL {
versioned:
calibration
certificate
method
software
standard_value
RULE:
chain_resolution MUST use_versions_valid_at_measurement_time
}
TEMPORAL_MODEL {
measurement_time:
t_m
calibration_events:
t_c
requirement:
determine_applicable_calibration_state_at_t_m
RULE:
latest_record_is_not_necessarily_the_record_valid_for_historical_measurement
}
HISTORICAL_TRACEABILITY_MODEL {
historical_measurement:
resolve_chain_using_historical_states
RULE:
later_recalibration MUST NOT overwrite_historical_traceability_context
}
TRACEABILITY_BREAK_MODEL {
causes:
missing_certificate
unidentified_standard
invalid_calibration
unrecorded_adjustment
unknown_software_version
range_exceedance
damaged_standard
broken_reference_chain
RULE:
break_location SHOULD be_explicitly_identified
}
TRACEABILITY_REPAIR_MODEL {
possible:
recover_missing_record
recalibrate
validate_historical_state
apply documented bridging evidence
RULE:
repaired_chain MUST preserve_original_gap_and_supporting_evidence
}
UNCERTAINTY_BUDGET_MODEL {
traceability_components:
reference_standard
calibration_transfer
instrument
environmental_correction
drift
method
processing
RULE:
uncertainty_budget SHOULD identify_components_originating_from_traceability_chain
}
SHARED_TRACEABILITY_MODEL {
results_A_B:
share_standard_or_calibration
consequence:
correlated_uncertainty
RULE:
shared_chain_nodes SHOULD generate_covariance_links
}
COMPARABILITY_MODEL {
two_results:
comparable_when
quantity_definitions_compatible
units_compatible
traceability_references_compatible
uncertainty_sufficiently_characterised
RULE:
traceability_supports_comparability_but_does_not_guarantee_agreement
}
EQUIVALENCE_MODEL {
standards_or_results:
may_be_equivalent_within_declared_uncertainty
RULE:
equivalence_requires_comparison_model_not_only_shared_traceability
}
DECISION_SUPPORT_MODEL {
traceability:
supports
calibration acceptance
conformity assessment
scientific comparability
regulatory evidence
RULE:
decision_rule_remains_separate_from_traceability_definition
}
AUDIT_MODEL {
auditor_or_machine:
traverses_chain
checks:
identity
validity
scope
uncertainty
reference
dates
signatures
versions
RULE:
traceability_claim SHOULD be_machine_auditable_where_structured_data_exists
}
TRACEABILITY_PATH_MODEL {
source:
measurement_result
target:
declared_reference
path:
ordered_calibration_links
RULE:
at_least_one_valid_path_required
}
MULTIPLE_PATH_MODEL {
graph:
may_contain_multiple_reference_paths
RULE:
paths_may_have_different_uncertainties_and_scopes
and_must_not_be_merged_without_model
}
PATH_SELECTION_MODEL {
criteria:
quantity_scope
validity_time
uncertainty
reference
method
RULE:
selected_path MUST be recorded
}
TRACEABILITY_CONFIDENCE_MODEL {
evidence_quality:
complete
partial
broken
ambiguous
RULE:
evidence_confidence_is_not_measurement_uncertainty
}
RELATIONSHIPS {
MeasurementResult -> HAS_PROPERTY -> MetrologicalTraceability
MetrologicalTraceability -> RELATES_TO -> TraceabilityReference
MetrologicalTraceability -> REQUIRES -> CalibrationChain
CalibrationChain -> CONTAINS -> CalibrationLink
CalibrationLink -> USES -> MeasurementStandard
MeasurementStandard -> HAS -> AssignedValue
MeasurementStandard -> HAS -> MeasurementUncertainty
CalibrationCertificate -> DOCUMENTS -> CalibrationLink
CalibrationLaboratory -> PERFORMS -> Calibration
SharedReference -> CREATES_POTENTIAL -> MeasurementCovariance
TraceabilityChain -> SUPPORTS -> MeasurementComparability
}
SEMANTIC_EQUIVALENCE {
"measurement traceability" ~= metrological_traceability WHEN measurement_reference_context
"traceable to SI" ~= documented_traceability_to_SI WHEN valid_chain_and_scope
traceability != calibration
traceability != calibration_certificate
traceability != accreditation
traceability != uncertainty
traceability != data_lineage
traceability != sample_chain_of_custody
traceability != blockchain_record
traceability != provenance_in_general
shared_traceability != statistical_independence
}
CONSTRAINTS {
measurement_result_must_be_identified = true
declared_reference_must_be_identified = true
calibration_chain_must_be_documented = true
chain_must_be_unbroken_for_established_traceability = true
each_material_link_must_include_uncertainty = true
quantity_kind_and_scope_must_be_compatible = true
historical_traceability_must_use_time_valid_versions = true
shared_reference_dependencies_should_be_preserved = true
calibration_certificate_alone_is_not_sufficient_definition_of_traceability = true
accreditation_is_not_semantically_equivalent_to_traceability = true
nonmetrological_traceability_terms_must_be_disambiguated = true
}
MEASUREMENT_MODEL {
RECORD:
measurement_result_identifier
measurand
measured_value
unit
measurement_uncertainty
measurement_time
instrument_identifier
calibration_state_identifier
traceability_reference
traceability_path
calibration_link_identifiers
standard_identifiers
certificate_identifiers
laboratory_identifiers
calibration_dates
valid_ranges
reference_conditions
link_uncertainties
covariance_links
method_versions
software_versions
chain_status
break_points
evidence_quality provenance
RULE:
traceability_record MUST permit_reconstruction_from_measurement_result_to_declared_reference
}
REASONING_RULES {
IF measurement_result_and_reference_known
THEN search_for_valid_calibration_path
IF valid_path_exists
AND every_material_link_has_identity_scope_validity_and_uncertainty
THEN traceability_status =
established_for_declared_scope
IF any_required_link_missing_or_invalid
THEN traceability_status =
broken_or_incomplete
IF measurement_time_known
THEN resolve_calibration_and_standard_versions_valid_at_measurement_time
IF chain_contains_shared_reference_nodes_between_results
THEN preserve_covariance_links
IF standard_or_instrument_adjusted_after_calibration
AND no_post_adjustment_calibration_exists
THEN invalidate_affected_traceability_path
IF measurement_outside_calibrated_range_or_scope
THEN flag_traceability_scope_exceeded
IF calibration_certificate_exists
BUT upstream_reference_chain_unknown
THEN do_not_infer_complete_metrological_traceability
IF uncertainty_components_from_each_link_known
THEN propagate_using_declared_measurement_model_and_covariance
IF multiple_valid_paths_exist
THEN retain_all_paths
AND select_path_using_declared_scope_reference_and_uncertainty_criteria
IF historical_record_recalibrated_later
THEN preserve_original_historical_chain
and_do_not_replace_with_new_state
IF data_lineage_or_blockchain_record_present
THEN use_as_provenance_evidence_only
unless_metrological_calibration_chain_is_also_present
}
VALIDATION {
CHECK measurement_result_identity
CHECK measurand_and_quantity_kind
CHECK measured_value_unit_and_uncertainty
CHECK declared_reference
CHECK traceability_path
CHECK calibration_link_identity
CHECK standard_identity
CHECK certificate_identity
CHECK calibration_dates
CHECK validity_at_measurement_time
CHECK range_and_scope
CHECK reference_conditions
CHECK uncertainty_at_each_link
CHECK covariance_and_shared_references
CHECK adjustment_repair_or_firmware_events
CHECK method_and_software_versions
CHECK upstream_chain_completeness
CHECK traceability_breaks
CHECK SI_or_non_SI_reference_semantics
CHECK accreditation_distinction
CHECK data_lineage_and_sample_traceability_distinction
CHECK provenance
}
CONFIDENCE {
definition_confidence: 1.00
chain_semantics_confidence: 1.00
uncertainty_chain_confidence: 1.00
SI_traceability_confidence: 1.00
certificate_distinction_confidence: 1.00
temporal_versioning_confidence: 1.00
covariance_model_confidence: 0.99
digital_auditability_confidence: 0.99
RULE:
confidence decreases when reference, calibration links, uncertainty,
scope, validity time, standard identity, certificates,
software versions, covariance or provenance is missing or ambiguous
}
UPDATE_MODEL {
ON new_measurement_result:
assign_or_resolve_result_identifier
attach_measurand_value_unit_and_uncertainty
attach_instrument_and_calibration_state
resolve_valid_traceability_path
record_chain_status
preserve_provenance
ON new_calibration_link:
identify_source_and_target
attach_standard_certificate_and_laboratory
attach_value_relation_and_uncertainty
attach_validity_scope_and_date
update_traceability_graph
recompute_affected_paths
ON certificate_revision:
preserve_previous_certificate
attach_new_version
update_link_metadata
reassess_chain_validity
ON standard_revision:
preserve_historical_standard_state
update_value_uncertainty_status_and_traceability
recompute_current_paths_without_overwriting_historical_paths
ON adjustment_repair_or_firmware_event:
preserve_pre_event_state
record_event
invalidate_or_review_affected_calibration_links
require_new_calibration_when_material
ON traceability_break_detection:
mark_break_node_or_edge
identify_affected_results
preserve_previous_claim
downgrade_chain_status_until_supported_evidence_restored
ON semantic_revision:
preserve_previous_definition
record_revision
recompute_FLOW_HASH
}
AI_CONSUMPTION {
canonical_entity: MetrologicalTraceability
canonical_role: MeasurementResultProperty
interpretation_order:
identify_measurement_result
identify_measurand_quantity_kind_value_unit_and_uncertainty
identify_declared_reference
identify_instrument_and_calibration_state
identify_calibration_links
identify_standards_certificates_and_laboratories
identify_validity_time_and_scope
identify_uncertainty_at_each_link
identify_shared_references_and_covariance
identify_method_software_and_firmware_versions
identify_chain_breaks
identify_SI_or_non_SI_reference
identify_provenance
validate_unbroken_chain
determine_traceability_status
ambiguity_controls:
distinguish_metrological_traceability_from_calibration
distinguish_traceability_from_calibration_certificate
distinguish_traceability_from_accreditation
distinguish_traceability_from_measurement_uncertainty
distinguish_metrological_traceability_from_data_lineage
distinguish_metrological_traceability_from_sample_traceability
distinguish_metrological_traceability_from_blockchain_provenance
distinguish_traceability_from_general_provenance
distinguish_shared_traceability_from_independence
preserve_result_reference_path_scope_time_uncertainty_version_and_provenance_context
}
PROVENANCE {
ontology_scope:
mathematical_measurement_units_instrumentation_and_metrological_traceability_semantics
parent_path:
Ontologies
-> Mathematical Ontologies
-> Measurement & Units Ontologies
-> Instrumentation
-> Measurement Traceability Ontology
authorship:
Mark Higgins
Sky (Recursive AI)
site:
https://kirethresearch.org
}
FLOW_HASH {
INPUTS:
canonical_entity
ontology_path
terminology_model
result_property_model
chain_model
graph_model
unbroken_chain_model
calibration_link_model
uncertainty_chain_model
covariance_model
SI_traceability_model
non_SI_reference_model
quantity_kind_model
unit_model
scope_model
range_model
condition_model
calibration_standard_model
working_standard_model
reference_standard_model
primary_reference_model
certified_reference_material_model
reference_procedure_model
calibration_certificate_model
certificate_validation_model
calibration_laboratory_model
accreditation_model
competence_model
comparison_model
key_comparison_model
mutual_recognition_model
calibration_interval_model
expiry_model
drift_model
intermediate_check_model
adjustment_model
repair_model
firmware_model
software_model
digital_calibration_record_model
digital_signature_model
blockchain_distinction_model
data_lineage_distinction_model
sample_traceability_distinction_model
legal_traceability_distinction_model
provenance_model
identifier_model
version_model
temporal_model
historical_traceability_model
traceability_break_model
traceability_repair_model
uncertainty_budget_model
shared_traceability_model
comparability_model
equivalence_model
decision_support_model
audit_model
traceability_path_model
multiple_path_model
path_selection_model
traceability_confidence_model
relationships
constraints
measurement_model
reasoning_rules
confidence_model
update_model
PURPOSE:
deterministic_semantic_integrity_identifier
RECOMPUTE_WHEN:
ontology_definition_changes
measurement_result_or_reference_changes
calibration_link_or_standard_changes
certificate_or_laboratory_metadata_changes
uncertainty_or_covariance_model_changes
scope_range_or_validity_changes
adjustment_repair_firmware_or_software_changes
traceability_graph_or_path_changes
chain_break_or_repair_events
digital_record_or_version_changes
measurement_record_changes
constraint_model_changes
reasoning_rule_changes
}
}
END FLOW
Download Code
Copy to Clipboard