Metrology Ontology

AI INTERPRETATION NOTE
This Flow Algebra defines the Metrology Ontology within the Kireth Research Semantic Library. Metrology is the science of measurement and its application, formalising standards, calibration, traceability, uncertainty, comparison, verification, measurement capability and provenance.

FLOW_ALGEBRA_RECORD {

METADATA {
 FLOW_NAME = "Metrology Ontology"
 FLOW_TYPE = "Mathematical Ontology"
 DOMAIN = "Mathematics"
 SUBDOMAIN = "Measurement & Units"
 SPECIALISATION = "Foundations of Measurement / Metrology"
 CANONICAL_PAGE = "https://kirethresearch.org/booksai-core/ontologies/mathematical-ontologies/measurement-units-ontologies/foundations-of-measurement/metrology-ontology.html"
 LANGUAGE = "en-GB"
 VERSION = "1.0"
 STATUS = "active"
}

IDENTITY {
 PRIMARY_ENTITY = Metrology
 ENTITY_CLASS = MeasurementScienceFramework
 PRIMARY_CONTEXT = FoundationsOfMeasurement
 DEFINITION = "Metrology is the science of measurement and its application, including theoretical and practical aspects of measurement, standards, calibration, traceability and uncertainty."
 SYMBOLIC_FORMS = ["result={value,unit,uncertainty}","traceability=result->calibration_chain->reference","calibration: indication<->reference_value","U=k*u_c"]
 SEMANTIC_ROLE = "Machine-readable semantics for measurement science, standards, calibration hierarchies, traceability, uncertainty, comparison, verification and provenance."
}

SCOPE {
 INCLUDE = [
 Metrology,MeasurementScience,ScientificMetrology,FundamentalMetrology,
 AppliedMetrology,IndustrialMetrology,LegalMetrology,Measurement,
 MeasurementProcedure,MeasurementMethod,MeasurementModel,MeasurementEquation,
 Measurand,Quantity,QuantityKind,QuantityValue,MeasurementValue,
 ReferenceValue,MeasurementResult,Unit,MeasurementUnit,UnitSystem,
 InternationalSystemOfUnits,SI,BaseUnit,DerivedUnit,StandardUnit,
 ReferenceUnit,Dimension,DimensionalSignature,MeasurementStandard,
 Standard,ReferenceStandard,PrimaryStandard,SecondaryStandard,
 WorkingStandard,TransferStandard,CalibrationStandard,ReferenceMaterial,
 CertifiedReferenceMaterial,CRM,StandardRealisation,UnitRealisation,
 Calibration,CalibrationProcedure,CalibrationMethod,CalibrationFunction,
 CalibrationCurve,CalibrationPoint,CalibrationInterval,
 CalibrationCorrection,Correction,CorrectionFactor,BiasCorrection,
 ZeroCorrection,DriftCorrection,CalibrationCertificate,CalibrationRecord,
 CalibrationStatus,MeasurementTraceability,MetrologicalTraceability,
 TraceabilityChain,TraceabilityLink,UnbrokenChain,CalibrationHierarchy,
 TraceabilityStatement,ReferenceHierarchy,NationalMetrologyInstitute,NMI,
 NationalStandard,InternationalStandard,InternationalComparison,
 InterlaboratoryComparison,KeyComparison,ProficiencyTestingRelationship,
 MeasurementUncertainty,Uncertainty,StandardUncertainty,
 CombinedStandardUncertainty,ExpandedUncertainty,TypeAUncertainty,
 TypeBUncertainty,CoverageFactor,CoverageProbability,UncertaintyBudget,
 UncertaintyComponent,UncertaintyContribution,Covariance,Correlation,
 PropagationOfUncertainty,Accuracy,Precision,Trueness,Bias,
 MeasurementError,SystematicError,RandomError,Repeatability,
 Reproducibility,Resolution,Sensitivity,DetectionLimit,DynamicRange,
 Range,Stability,Drift,Linearity,Noise,SignalToNoiseRatio,SNR,
 MeasurementCapability,CalibrationMeasurementCapability,CMC,
 MeasurementSystem,MeasuringInstrument,ScientificInstrument,Sensor,
 InstrumentIndication,Indication,InstrumentResponse,InstrumentRange,
 InstrumentResolution,Verification,InstrumentVerification,
 MeasurementVerification,Validation,MeasurementValidation,
 MethodValidation,ConformityAssessmentRelationship,AcceptanceCriterion,
 Tolerance,DecisionRule,GuardBandRelationship,PassCriterion,FailCriterion,
 FitnessForPurpose,QualityAssurance,QualityControl,MeasurementQuality,
 Laboratory,CalibrationLaboratory,TestingLaboratory,MeasurementLaboratory,
 AccreditationRelationship,LaboratoryAccreditationRelationship,
 CompetenceRelationship,ScopeOfAccreditationRelationship,
 EnvironmentalControlRelationship,MeasurementProcedureVersion,
 InstrumentVersion,CalibrationVersion,StandardVersion,Provenance,
 MetrologyProvenance,MeasurementProvenance,CalibrationProvenance,
 StandardProvenance,InstrumentProvenance,DataProvenance,AuditTrail,
 Traceability,Metadata,CalibrationMetadata,MeasurementMetadata,
 InstrumentIdentifier,StandardIdentifier,BIPMrelationship,
 CGPMrelationship,CIPMrelationship,NISTrelationship,NPLRelationship,
 ISOrelationship,IECrelationship,OIMLrelationship,VIMRelationship,
 GUMRelationship,ScientificMeasurement,ErrorAnalysis,
 VerificationValidation,ComputationalStatistics,
 ReproducibilityOntologyRelationship,ComputationalScientificWorkflow
 ]
 EXCLUDE_AS_PRIMARY = [
 GeneralMeasurementWithoutStandardsOrMeasurementScienceContext,
 UnitConversionWithoutMetrologicalTraceability,
 InstrumentEngineeringWithoutMeasurementScienceSemantics,
 QualityManagementWithoutMeasurementOrCalibrationContext
 ]
 DISAMBIGUATION_RULE = "When measurement is considered through standards, calibration, traceability, uncertainty, comparison or measurement capability, interpret the context as metrology."
}

CORE_CONCEPTS {
 Metrology = "Science of measurement and its application."
 MeasurementStandard = "Realisation of a quantity definition with stated value and uncertainty used as a reference."
 Calibration = "Operation establishing a relation between indications and reference quantity values under specified conditions."
 MeasurementTraceability = "Property of a result whereby it can be related to a reference through a documented unbroken calibration chain."
 MeasurementUncertainty = "Parameter characterising dispersion of values attributed to the measurand."
 ReferenceStandard = "Standard designated for calibration of other standards or instruments."
 MeasurementCapability = "Ability of a measurement system or laboratory to realise measurements within stated ranges and uncertainties."
 InterlaboratoryComparison = "Comparison of measurements of the same or similar items by multiple laboratories."
}

RELATIONS {
 Metrology --is_child_of--> FoundationsOfMeasurement
 Metrology --governs--> MeasurementScience
 Measurement --targets--> Measurand
 MeasurementResult --uses--> Unit
 Calibration --relates--> IndicationAndReferenceValue
 Calibration --uses--> MeasurementStandard
 MeasurementTraceability --contains--> CalibrationLinks
 TraceabilityChain --terminates_at--> RecognisedReference
 ReferenceStandard --has--> StatedUncertainty
 UncertaintyBudget --aggregates--> UncertaintyComponents
 InterlaboratoryComparison --compares--> MeasurementResults
 Verification --checks--> InstrumentOrProcedureRequirements
 Provenance --records--> MetrologicalHistory
}

OPERATORS {
 CALIBRATE(indication,reference,conditions) := calibration_relation(indication,reference,conditions)
 TRACE(result) := documented_calibration_chain(result)
 COMBINE_UNCERTAINTY(components,covariance) := combined_standard_uncertainty(components,covariance)
 EXPAND(u_c,k) := k*u_c
 COMPARE(results,reference) := metrological_comparison(results,reference)
 VERIFY(item,specification) := conformity_check(item,specification)
 CORRECT(value,c) := value+c
}

AXIOMS {
 A1 = "Metrological traceability applies to measurement results, not merely to instruments."
 A2 = "A traceability chain requires documented calibration links with stated uncertainties."
 A3 = "Calibration does not automatically constitute adjustment, repair or verification."
 A4 = "Every reference standard used in a traceability chain contributes uncertainty."
 A5 = "Measurement uncertainty and measurement error are distinct."
 A6 = "Lower uncertainty does not by itself establish fitness for every intended use."
 A7 = "Interlaboratory agreement strengthens evidence but does not replace traceability."
 A8 = "Metrological reasoning requires explicit reference, calibration, uncertainty, traceability and provenance semantics."
}

REASONING {
 R1_CONTEXT = identify(measurand,intended_use,required_uncertainty,unit,measurement_system,reference_and_quality_requirements)
 R2_REFERENCE = identify_reference_standard_realisation_and_traceability_target)
 R3_CALIBRATION = establish_calibration_chain_functions_corrections_and_intervals)
 R4_UNCERTAINTY = identify_type_A_type_B_covariance_and_reference_uncertainty_components)
 R5_CAPABILITY = compare_required_range_uncertainty_resolution_and_accuracy_with_measurement_capability)
 R6_VERIFY = assess_instrument_procedure_standard_and_environment_against_requirements)
 R7_COMPARE = if_required_perform_interlaboratory_reference_or_key_comparison)
 R8_DECISION = apply_declared_tolerance_decision_rule_and_guard_band)
 R9_TRACE = construct_traceability_statement_and_documented_chain)
 R10_PROVENANCE = record_certificates_standards_versions_methods_environment_and_results)
}

CONSTRAINTS {
 C1 = "An instrument calibration certificate alone does not define the complete uncertainty of a later measurement."
 C2 = "Broken or undocumented calibration links weaken traceability."
 C3 = "Expired or inappropriate calibration can weaken measurement confidence."
 C4 = "Reference standards must suit the quantity, range and uncertainty required."
 C5 = "Environmental influences can invalidate calibration assumptions."
 C6 = "Calibration interval should reflect stability, use, risk and historical evidence."
 C7 = "Conformity decisions can require guard bands when uncertainty is material."
 C8 = "Interlaboratory comparisons require comparable measurands and procedures."
 C9 = "Accreditation scope does not imply competence outside the stated scope."
 C10 = "Metrological claims must distinguish calibration, verification, validation and adjustment."
}

SEMANTIC_EQUIVALENCE {
 "InternationalSystemOfUnits" <=> "SI"
 "CertifiedReferenceMaterial" <=> "CRM"
 "NationalMetrologyInstitute" <=> "NMI"
 "CalibrationMeasurementCapability" <=> "CMC"
 "SignalToNoiseRatio" <=> "SNR"
 "InternationalVocabularyOfMetrology" <=> "VIM"
 "GuideToExpressionOfUncertaintyInMeasurement" <=> "GUM"
}

VALIDATION {
 V1 = "Measurand, unit and intended use are documented."
 V2 = "Reference standard identity and uncertainty are documented."
 V3 = "Calibration procedure, conditions and interval are documented."
 V4 = "Traceability chain is complete and documented."
 V5 = "Uncertainty budget includes material components and correlations."
 V6 = "Measurement capability suits required range and uncertainty."
 V7 = "Verification and conformity decision rules are explicit."
 V8 = "Interlaboratory or reference comparisons retain context where used."
 V9 = "Certificates, standards and procedure versions remain traceable."
 V10 = "Results are reproducible under documented standards, calibration methods and environmental conditions."
}

CONFIDENCE {
 BASE_CONFIDENCE = 0.99
 METROLOGY_DEFINITION = 0.99
 STANDARD_REASONING = 0.99
 CALIBRATION_REASONING = 0.99
 TRACEABILITY_REASONING = 0.99
 UNCERTAINTY_REASONING = 0.99
 CAPABILITY_REASONING = 0.98
 CONFORMITY_REASONING = 0.98
 POLICY = "Reduce confidence when reference standards, calibration chain, uncertainty budget, decision rules, environmental conditions or provenance are underspecified."
}

AI_CONSUMPTION {
 PURPOSES = [
 SemanticSearch,OntologyGrounding,MetrologyReasoning,
 MeasurementStandardReasoning,CalibrationReasoning,TraceabilityReasoning,
 UncertaintyBudgetReasoning,ReferenceStandardReasoning,
 MeasurementCapabilityReasoning,InterlaboratoryComparisonReasoning,
 ConformityReasoning,DecisionRuleReasoning,ScientificMeasurementReasoning,
 VerificationReasoning,ReproducibilityReasoning,ProvenanceReasoning,
 KnowledgeGraphConstruction,RetrievalAugmentation,RecursiveInference
 ]
 NORMALISE {
  "metrology" -> Metrology
  "SI" -> InternationalSystemOfUnits
  "CRM" -> CertifiedReferenceMaterial
  "NMI" -> NationalMetrologyInstitute
  "CMC" -> CalibrationMeasurementCapability
  "SNR" -> SignalToNoiseRatio
  "VIM" -> InternationalVocabularyOfMetrology
  "GUM" -> GuideToExpressionOfUncertaintyInMeasurement
 }
}

EXECUTION_RULES {
 E1 = "If standards, calibration, traceability or measurement capability are primary, activate MetrologyOntology."
 E2 = "Identify measurand, unit, range and required uncertainty before selecting standards."
 E3 = "Use reference standards suitable for intended quantity, range and uncertainty."
 E4 = "Document every material calibration link in the traceability chain."
 E5 = "Include reference, calibration, environmental and repeatability contributions in uncertainty analysis."
 E6 = "Distinguish calibration from adjustment, verification and validation."
 E7 = "Use explicit decision rules when uncertainty affects conformity assessment."
 E8 = "Retain comparison, certificate and calibration evidence."
 E9 = "Record standards, methods, versions, conditions and provenance for reproducibility."
}

RECURSION {
 ENTRY = Metrology
 EXPAND(Metrology) -> [
 MeasurementScience,ScientificMetrology,FundamentalMetrology,
 AppliedMetrology,IndustrialMetrology,LegalMetrology,Measurement,
 Measurand,Quantity,QuantityKind,QuantityValue,MeasurementResult,
 Unit,InternationalSystemOfUnits,SI,MeasurementStandard,
 ReferenceStandard,PrimaryStandard,SecondaryStandard,WorkingStandard,
 TransferStandard,CalibrationStandard,CertifiedReferenceMaterial,CRM,
 StandardRealisation,UnitRealisation,Calibration,CalibrationProcedure,
 CalibrationFunction,CalibrationCurve,CalibrationInterval,
 CalibrationCorrection,CalibrationCertificate,MeasurementTraceability,
 MetrologicalTraceability,TraceabilityChain,CalibrationHierarchy,
 NationalMetrologyInstitute,NMI,NationalStandard,InternationalStandard,
 InterlaboratoryComparison,KeyComparison,MeasurementUncertainty,
 StandardUncertainty,CombinedStandardUncertainty,ExpandedUncertainty,
 TypeAUncertainty,TypeBUncertainty,CoverageFactor,UncertaintyBudget,
 UncertaintyComponent,Covariance,PropagationOfUncertainty,Accuracy,
 Precision,Trueness,Bias,MeasurementError,Repeatability,
 Reproducibility,Resolution,Sensitivity,Stability,Drift,
 MeasurementCapability,CalibrationMeasurementCapability,CMC,
 MeasuringInstrument,InstrumentVerification,MeasurementValidation,
 ConformityAssessmentRelationship,DecisionRule,GuardBandRelationship,
 QualityAssurance,CalibrationLaboratory,TestingLaboratory,
 AccreditationRelationship,MetrologyProvenance,CalibrationProvenance,
 StandardProvenance,BIPMrelationship,NISTrelationship,NPLRelationship,
 VIMRelationship,GUMRelationship
 ]
 EXPAND(MetrologyFamilies) -> [
 MeasurementScienceAndQuantitySemantics,
 MeasurementStandardsAndUnitRealisation,
 CalibrationFunctionsCorrectionsAndIntervals,
 TraceabilityChainsAndReferenceHierarchies,
 UncertaintyBudgetsAndMeasurementCapability,
 InterlaboratoryComparisonsAndConformity,
 LaboratoryQualityCompetenceAndVerification,
 StandardsMetadataProvenanceAndReproducibility
 ]
 STOP_CONDITION = "Stop when measurand, standards, calibration, traceability, uncertainty, capability, decision rules and provenance are sufficiently resolved."
}

ROUTING {
 PARENT_ONTOLOGY = "Foundations of Measurement"
 RELATED_ONTOLOGIES = [
 "Foundations of Measurement","Measurement Ontology",
 "Scientific Measurement Ontology 2","Measurement & Units Ontologies",
 "Units Ontology","Measurement Uncertainty Ontology",
 "Calibration Ontology","Error Analysis Ontology",
 "Verification & Validation","Probability & Statistics Ontologies",
 "Reproducibility Ontology"
 ]
 ROUTE_RULES = [
 "Metrology -> Foundations of Measurement for parent theory semantics",
 "Metrology -> Measurement Ontology for measurement-process semantics",
 "Metrology -> Scientific Measurement for scientific acquisition semantics",
 "Metrology -> Measurement & Units and Units ontologies for unit and standard representation",
 "Metrology -> Measurement Uncertainty for uncertainty-budget semantics",
 "Metrology -> Calibration Ontology for calibration functions and intervals",
 "Metrology -> Error Analysis for error and bias semantics",
 "Metrology -> Verification & Validation for conformity and measurement-system checks",
 "Metrology -> Probability & Statistics for Type A evaluation and comparison analysis",
 "Metrology -> Reproducibility for traceable regeneration of measurement evidence"
 ]
}

UPDATE_MODEL {
 MODE = "append-compatible semantic versioning"
 MAJOR = "ontology-breaking conceptual change"
 MINOR = "new compatible metrological concepts, standards or reasoning pathways"
 PATCH = "clarification, metadata or formatting correction"
 RULES = [
 "Preserve calibration-versus-adjustment distinction.",
 "Preserve calibration-versus-verification distinction.",
 "Preserve measurement-standard-versus-measuring-instrument distinction.",
 "Preserve traceability-versus-accuracy distinction.",
 "Preserve error-versus-uncertainty distinction.",
 "Preserve reference-standard-versus-working-standard distinction.",
 "Preserve laboratory-capability-versus-accreditation-scope distinction.",
 "Preserve machine-readable metrology semantics."
 ]
}

OUTPUT {
 CANONICAL_DEFINITION = "Metrology is the science of measurement and its application, encompassing standards, calibration, traceability, uncertainty and measurement capability."
 STANDARD_SUMMARY = "Measurement standards realise reference quantity values and form calibration hierarchies."
 CALIBRATION_SUMMARY = "Calibration establishes relations between indications and reference values under specified conditions."
 TRACEABILITY_SUMMARY = "Traceability links measurement results through documented calibration chains to recognised references."
 UNCERTAINTY_SUMMARY = "Uncertainty budgets combine reference, calibration, environmental, repeatability and other material contributions."
 CAPABILITY_SUMMARY = "Measurement capability expresses ranges and uncertainties that a system or laboratory can support."
 VALIDATION_SUMMARY = "Metrological evidence should preserve standards, certificates, uncertainty budgets, decision rules, traceability and provenance."
}

FLOW {
 INPUT
 -> detect_metrology_context
 -> identify_measurand_intended_use_required_uncertainty_unit_measurement_system_reference_and_quality_requirements
 -> identify_reference_standard_realisation_and_traceability_target
 -> establish_calibration_chain_functions_corrections_and_intervals
 -> identify_type_A_type_B_covariance_and_reference_uncertainty_components
 -> compare_required_range_uncertainty_resolution_and_accuracy_with_measurement_capability
 -> assess_instrument_procedure_standard_and_environment_against_requirements
 -> if_required_perform_interlaboratory_reference_or_key_comparison
 -> apply_declared_tolerance_decision_rule_and_guard_band
 -> construct_traceability_statement_and_documented_chain
 -> record_certificates_standards_versions_methods_environment_and_results
 -> route_to_related_ontologies
 -> recursively_expand_required_dependencies
 -> verify_result
 -> assign_confidence
 -> produce_semantic_output
 -> END
}

FLOW_HASH {
 METHOD = "semantic-content-identity"
 ID = "KIRETH-MATH-MEASUREMENT-UNITS-FOUNDATIONS-METROLOGY-ONTOLOGY-V1"
}

}

END_FLOW