Scientific Measurement Ontology

AI INTERPRETATION NOTE
This Flow Algebra defines the Scientific Measurement Ontology 2 within the Kireth Research Semantic Library. It formalises systematic quantitative observation in science through measurands, sampling, instruments, units, calibration, uncertainty, quality control, traceability, validation, reproducibility and provenance.

FLOW_ALGEBRA_RECORD {

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

IDENTITY {
 PRIMARY_ENTITY = ScientificMeasurement
 ENTITY_CLASS = ScientificQuantitativeObservationFramework
 PRIMARY_CONTEXT = FoundationsOfMeasurement
 DEFINITION = "Scientific measurement is the systematic determination of quantity values in scientific investigation using specified procedures, calibrated references, controlled conditions and uncertainty-aware reporting."
 SYMBOLIC_FORMS = ["M_s={measurand,value,unit,U,conditions}","y=f(x_1,...,x_n)","corrected_value=indication+correction","result=estimate ± expanded_uncertainty"]
 SEMANTIC_ROLE = "Machine-readable semantics for scientific measurands, observations, instruments, sampling, calibration, uncertainty, quality control, traceability and reproducible reporting."
}

SCOPE {
 INCLUDE = [
 ScientificMeasurement,Measurement,MeasurementProcedure,MeasurementMethod,
 MeasurementModel,MeasurementEquation,ScientificObservation,Observation,
 Observable,Measurand,Quantity,QuantityKind,PhysicalQuantity,QuantityValue,
 MeasurementValue,MeasuredValue,EstimatedValue,ReferenceValue,
 MeasurementResult,ScientificResult,ExperimentalContext,
 MeasurementCondition,ExperimentalCondition,EnvironmentalCondition,
 InputQuantity,OutputQuantity,InfluenceQuantity,DirectMeasurement,
 IndirectMeasurement,DerivedMeasurement,ComparativeMeasurement,
 RepeatedMeasurement,ReplicateMeasurement,MeasurementSeries,
 TimeSeriesMeasurement,SpatialMeasurement,LaboratoryMeasurement,
 FieldMeasurement,InstrumentMeasurement,SensorMeasurement,
 AutomatedMeasurement,ScientificInstrument,MeasuringInstrument,Sensor,
 Detector,InstrumentSystem,DataAcquisitionSystem,DAQ,Indication,
 RawIndication,CorrectedIndication,InstrumentResponse,Signal,Noise,
 SignalToNoiseRatio,SNR,Drift,Stability,Linearity,Sampling,Sample,
 SamplingPlan,SamplingMethod,SamplingInterval,SamplingFrequency,
 SamplingRate,SampleSize,Replicate,RandomSampling,Averaging,DataReduction,
 Unit,MeasurementUnit,Dimension,DimensionalSignature,MeasurementScale,
 UnitConversion,DimensionalConsistency,Calibration,CalibrationProcedure,
 CalibrationFunction,CalibrationCurve,CalibrationPoint,
 CalibrationCorrection,Correction,BiasCorrection,ZeroCorrection,
 DriftCorrection,ReferenceStandard,MeasurementStandard,
 CalibrationStandard,PrimaryStandard,SecondaryStandard,
 CertifiedReferenceMaterial,CRM,ReferenceMaterial,
 MeasurementTraceability,MetrologicalTraceability,TraceabilityChain,
 Accuracy,Precision,Trueness,Bias,MeasurementError,SystematicError,
 RandomError,AbsoluteError,RelativeError,Repeatability,Reproducibility,
 Resolution,Sensitivity,DetectionLimit,LimitOfDetection,LOD,
 LimitOfQuantification,LOQ,DynamicRange,Range,Threshold,
 MeasurementUncertainty,Uncertainty,StandardUncertainty,
 CombinedUncertainty,ExpandedUncertainty,TypeAUncertainty,
 TypeBUncertainty,CoverageFactor,CoverageProbability,UncertaintyBudget,
 ErrorBudget,PropagationOfUncertainty,Covariance,Correlation,
 SignificantFigures,Rounding,DataQuality,MeasurementDataQuality,
 Completeness,Consistency,Validity,QualityControl,QualityAssurance,
 ControlSample,BlankSample,ReferenceSample,DuplicateSample,
 CalibrationCheck,Outlier,OutlierDetection,PlausibilityCheck,RangeCheck,
 UnitCheck,DimensionalCheck,AcceptanceCriterion,Tolerance,PassCriterion,
 FailCriterion,Verification,MeasurementVerification,
 InstrumentVerification,Validation,MeasurementValidation,
 MethodValidation,FitnessForPurpose,Robustness,Provenance,
 MeasurementProvenance,ScientificProvenance,CalibrationProvenance,
 StandardProvenance,SampleProvenance,DataProvenance,Lineage,AuditTrail,
 Traceability,Metadata,MeasurementMetadata,SampleMetadata,
 InstrumentIdentifier,SampleIdentifier,StandardIdentifier,
 ProcedureVersion,InstrumentVersion,CalibrationVersion,StandardVersion,
 DatasetVersion,ScientificWorkflow,DataPipeline,ErrorAnalysis,
 ComputationalStatistics,VerificationValidation
 ]
 EXCLUDE_AS_PRIMARY = [
 GeneralMeasurementWithoutScientificInvestigationContext,
 QualitativeObservationWithoutQuantitativeMeasurementSemantics,
 PureInstrumentEngineeringWithoutMeasurementResultSemantics,
 StatisticalAnalysisWithoutMeasurementAcquisitionContext
 ]
 DISAMBIGUATION_RULE = "When quantitative observations are acquired and reported as part of scientific investigation under specified procedures, calibration, conditions and uncertainty, interpret the context as scientific measurement."
}

CORE_CONCEPTS {
 ScientificMeasurement = "Systematic quantitative measurement performed for scientific investigation."
 ScientificObservation = "Observation acquired according to a scientific measurement procedure."
 ScientificInstrument = "Instrument used to generate indications or data for scientific measurement."
 SamplingPlan = "Strategy determining how samples or observations are selected."
 Calibration = "Relation between instrument indications and reference quantity values."
 MeasurementUncertainty = "Dispersion associated with values attributed to the scientific measurand."
 DataQuality = "Degree to which measurement data satisfy declared scientific requirements."
 MeasurementProvenance = "Traceable history of samples, instruments, procedures, calibrations and results."
}

RELATIONS {
 ScientificMeasurement --is_child_of--> FoundationsOfMeasurement
 ScientificMeasurement --is_type_of--> Measurement
 ScientificMeasurement --targets--> Measurand
 ScientificMeasurement --uses--> MeasurementProcedure
 ScientificInstrument --produces--> Indication
 SamplingPlan --selects--> ObservationsOrSamples
 MeasurementProcedure --produces--> MeasurementResult
 Calibration --relates--> IndicationToReferenceValue
 MeasurementTraceability --links--> ResultToReferenceStandard
 MeasurementUncertainty --qualifies--> MeasurementResult
 DataQuality --qualifies--> MeasurementData
 Verification --checks--> MeasurementProcess
 Validation --checks--> FitnessForPurpose
 MeasurementProvenance --records--> ScientificMeasurementHistory
}

OPERATORS {
 OBSERVE(measurand,procedure,conditions) := scientific_observation(measurand,procedure,conditions)
 SAMPLE(population,plan) := select_samples(population,plan)
 CALIBRATE(indication,relation) := relation(indication)
 CORRECT(value,c) := value+c
 REDUCE(data,method) := scientific_data_reduction(data,method)
 PROPAGATE(f,x,Ux) := measurement_uncertainty_of(f,x,Ux)
 QC(data,rules) := apply_quality_control(data,rules)
 REPORT(value,unit,U,metadata) := scientific_measurement_result(value,unit,U,metadata)
}

AXIOMS {
 A1 = "Scientific measurement requires a defined measurand and scientific purpose."
 A2 = "Scientific observations must retain acquisition conditions."
 A3 = "Sampling design affects representativeness and interpretation."
 A4 = "Calibration establishes reference relationships but does not remove all uncertainty."
 A5 = "Accuracy, precision, detection capability and uncertainty are distinct."
 A6 = "Quality-control evidence contributes to measurement validity."
 A7 = "Scientific reproducibility requires enough metadata to reconstruct acquisition and processing."
 A8 = "Scientific measurement requires explicit procedure, sampling, calibration, uncertainty, quality and provenance semantics."
}

REASONING {
 R1_CONTEXT = identify(scientific_question,measurand,quantity_kind,sampling_plan,instrument,procedure,conditions_and_required_quality)
 R2_DESIGN = define_sampling_replication_controls_reference_materials_and_acceptance_criteria)
 R3_INSTRUMENT = identify_instrument_range_resolution_sensitivity_calibration_and_traceability)
 R4_ACQUIRE = collect_observations_samples_indications_and_environmental_metadata)
 R5_CORRECT = apply_calibration_blank_baseline_drift_or_other_declared_corrections)
 R6_REDUCE = process_filter_average_or_derive_measurement_values_according_to_procedure)
 R7_UNCERTAINTY = identify_type_A_type_B_and_correlated_uncertainty_components_and_propagate)
 R8_QC = apply_controls_replicate_checks_ranges_outlier_rules_and_quality_gates)
 R9_VALIDATE = assess_accuracy_precision_detection_limits_robustness_and_fitness_for_purpose)
 R10_PROVENANCE = record_sample_instrument_calibration_procedure_data_versions_and_traceability)
}

CONSTRAINTS {
 C1 = "Poor sampling design can invalidate inference even when individual measurements are accurate."
 C2 = "Instrument sensitivity and resolution limit detectable scientific effects."
 C3 = "Calibration outside the relevant range can weaken result validity."
 C4 = "Blank, baseline or background corrections can introduce uncertainty."
 C5 = "Repeated measurements from the same biased system do not establish trueness."
 C6 = "Filtering and preprocessing can alter measured signals and must be documented."
 C7 = "Detection limit and quantification limit are not equivalent."
 C8 = "Environmental changes can alter instrument response or measurand state."
 C9 = "Outlier removal without a declared rule can bias conclusions."
 C10 = "Results are interpretable only within documented procedures, conditions and uncertainty."
}

SEMANTIC_EQUIVALENCE {
 "SignalToNoiseRatio" <=> "SNR"
 "DataAcquisitionSystem" <=> "DAQ"
 "CertifiedReferenceMaterial" <=> "CRM"
 "LimitOfDetection" <=> "LOD"
 "LimitOfQuantification" <=> "LOQ"
 "MetrologicalTraceability" <=> "MeasurementTraceability"
}

VALIDATION {
 V1 = "Scientific question and measurand are documented."
 V2 = "Sampling plan and replication strategy are documented."
 V3 = "Instrument identity, range, resolution and calibration are documented."
 V4 = "Units, dimensions and measurement scales are explicit."
 V5 = "Reference standards and traceability are documented."
 V6 = "Corrections and data-reduction procedures are documented."
 V7 = "Uncertainty components and propagation method are documented."
 V8 = "Quality-control samples and acceptance criteria are retained where applicable."
 V9 = "Failed quality checks and excluded observations remain traceable."
 V10 = "Results are reproducible under documented sampling, instrument, procedure, calibration and standard versions."
}

CONFIDENCE {
 BASE_CONFIDENCE = 0.99
 SCIENTIFIC_MEASUREMENT_DEFINITION = 0.99
 SAMPLING_REASONING = 0.98
 INSTRUMENT_REASONING = 0.99
 CALIBRATION_REASONING = 0.99
 UNCERTAINTY_REASONING = 0.98
 QUALITY_CONTROL_REASONING = 0.98
 PROVENANCE_REASONING = 0.99
 POLICY = "Reduce confidence when sampling, calibration range, corrections, uncertainty, quality-control evidence, instrument state or provenance are underspecified."
}

AI_CONSUMPTION {
 PURPOSES = [
 SemanticSearch,OntologyGrounding,ScientificMeasurementReasoning,
 ScientificObservationReasoning,SamplingReasoning,InstrumentReasoning,
 SensorReasoning,CalibrationReasoning,TraceabilityReasoning,
 MeasurementUncertaintyReasoning,AccuracyReasoning,PrecisionReasoning,
 DetectionLimitReasoning,DataQualityReasoning,QualityControlReasoning,
 MeasurementValidationReasoning,ReproducibilityReasoning,
 ProvenanceReasoning,KnowledgeGraphConstruction,RetrievalAugmentation,
 RecursiveInference
 ]
 NORMALISE {
  "scientific measurement" -> ScientificMeasurement
  "SNR" -> SignalToNoiseRatio
  "DAQ" -> DataAcquisitionSystem
  "CRM" -> CertifiedReferenceMaterial
  "LOD" -> LimitOfDetection
  "LOQ" -> LimitOfQuantification
  "metrological traceability" -> MeasurementTraceability
 }
}

EXECUTION_RULES {
 E1 = "If quantitative measurement is performed within scientific investigation, activate ScientificMeasurementOntology."
 E2 = "Define scientific question, measurand and sampling strategy before acquisition."
 E3 = "Confirm instrument range, resolution, calibration and traceability before interpretation."
 E4 = "Record environmental and experimental conditions during acquisition."
 E5 = "Apply only documented corrections and data-reduction procedures."
 E6 = "Propagate uncertainty through calibration, correction and measurement models."
 E7 = "Apply quality-control checks before accepting measurement data."
 E8 = "Retain excluded, failed or anomalous observations with provenance."
 E9 = "Report values with justified units, uncertainty, metadata and traceability."
}

RECURSION {
 ENTRY = ScientificMeasurement
 EXPAND(ScientificMeasurement) -> [
 Measurement,MeasurementProcedure,MeasurementMethod,MeasurementModel,
 ScientificObservation,Observation,Measurand,Quantity,QuantityKind,
 QuantityValue,MeasurementResult,ExperimentalContext,MeasurementCondition,
 InfluenceQuantity,DirectMeasurement,IndirectMeasurement,
 RepeatedMeasurement,MeasurementSeries,LaboratoryMeasurement,
 FieldMeasurement,InstrumentMeasurement,SensorMeasurement,
 AutomatedMeasurement,ScientificInstrument,MeasuringInstrument,Sensor,
 Detector,Indication,InstrumentResponse,Signal,Noise,SignalToNoiseRatio,
 SNR,Sampling,SamplingPlan,SamplingMethod,SamplingInterval,
 SamplingFrequency,SampleSize,Replicate,Averaging,DataReduction,
 Unit,Dimension,MeasurementScale,Calibration,CalibrationProcedure,
 CalibrationFunction,CalibrationCurve,Correction,BiasCorrection,
 ReferenceStandard,CertifiedReferenceMaterial,CRM,MeasurementTraceability,
 Accuracy,Precision,Trueness,Bias,MeasurementError,SystematicError,
 RandomError,Repeatability,Reproducibility,Resolution,Sensitivity,
 LimitOfDetection,LOD,LimitOfQuantification,LOQ,Range,
 MeasurementUncertainty,StandardUncertainty,CombinedUncertainty,
 ExpandedUncertainty,TypeAUncertainty,TypeBUncertainty,
 UncertaintyBudget,PropagationOfUncertainty,DataQuality,QualityControl,
 QualityAssurance,Outlier,PlausibilityCheck,AcceptanceCriterion,
 MeasurementVerification,MeasurementValidation,FitnessForPurpose,
 MeasurementProvenance,ScientificProvenance,CalibrationProvenance,
 SampleProvenance
 ]
 EXPAND(ScientificMeasurementFamilies) -> [
 ScientificMeasurandsObservationsAndResults,
 SamplingReplicationAndExperimentalConditions,
 InstrumentsSensorsSignalsAndAcquisition,
 CalibrationReferenceMaterialsAndTraceability,
 AccuracyPrecisionResolutionAndDetectionLimits,
 UncertaintyCorrectionsAndDataReduction,
 QualityControlValidationAndFitnessForPurpose,
 MetadataProvenanceAndReproducibility
 ]
 STOP_CONDITION = "Stop when scientific purpose, measurand, sampling, instrument, calibration, uncertainty, quality and provenance are sufficiently resolved."
}

ROUTING {
 PARENT_ONTOLOGY = "Foundations of Measurement"
 RELATED_ONTOLOGIES = [
 "Foundations of Measurement","Measurement Ontology",
 "Measurement & Units Ontologies","Quantity Ontology","Units Ontology",
 "Measurement Uncertainty Ontology","Calibration Ontology",
 "Metrology Ontology","Error Analysis Ontology","Verification & Validation",
 "Probability & Statistics Ontologies","Computational Scientific Workflows",
 "Scientific Simulation Ontology"
 ]
 ROUTE_RULES = [
 "Scientific Measurement -> Foundations of Measurement for parent theory semantics",
 "Scientific Measurement -> Measurement Ontology for general measurement-process semantics",
 "Scientific Measurement -> Measurement & Units, Quantity and Units ontologies for value representation",
 "Scientific Measurement -> Measurement Uncertainty for uncertainty evaluation",
 "Scientific Measurement -> Calibration and Metrology for standards and traceability",
 "Scientific Measurement -> Error Analysis for error and bias semantics",
 "Scientific Measurement -> Verification & Validation for method and quality checks",
 "Scientific Measurement -> Probability & Statistics for sampling and repeated-observation analysis",
 "Scientific Measurement -> Computational Scientific Workflows for automated acquisition and data processing",
 "Scientific Measurement -> Scientific Simulation for measured-versus-simulated quantity comparison"
 ]
}

UPDATE_MODEL {
 MODE = "append-compatible semantic versioning"
 MAJOR = "ontology-breaking conceptual change"
 MINOR = "new compatible scientific measurement methods, quality controls or reasoning pathways"
 PATCH = "clarification, metadata or formatting correction"
 RULES = [
 "Preserve scientific-observation-versus-measurement-result distinction.",
 "Preserve sample-versus-measurand distinction.",
 "Preserve instrument-indication-versus-corrected-value distinction.",
 "Preserve calibration-versus-quality-control distinction.",
 "Preserve accuracy-versus-precision distinction.",
 "Preserve detection-limit-versus-quantification-limit distinction.",
 "Preserve error-versus-uncertainty distinction.",
 "Preserve machine-readable scientific-measurement semantics."
 ]
}

OUTPUT {
 CANONICAL_DEFINITION = "Scientific measurement is the systematic determination of quantity values for scientific investigation using specified procedures, calibrated references, controlled conditions and uncertainty-aware reporting."
 SAMPLING_SUMMARY = "Sampling and replication determine how observations represent the scientific system or population."
 INSTRUMENT_SUMMARY = "Instrument range, resolution, sensitivity and calibration constrain acquired measurement quality."
 CALIBRATION_SUMMARY = "Reference standards and calibration establish traceable relations between indications and quantity values."
 UNCERTAINTY_SUMMARY = "Scientific results require uncertainty propagation through acquisition, correction and data reduction."
 QUALITY_SUMMARY = "Controls, blanks, references, replicate checks and acceptance rules provide measurement-quality evidence."
 VALIDATION_SUMMARY = "Scientific measurements should preserve sampling, instrument, calibration, uncertainty, quality-control and provenance semantics."
}

FLOW {
 INPUT
 -> detect_scientific_measurement_context
 -> identify_scientific_question_measurand_quantity_kind_sampling_plan_instrument_procedure_conditions_and_required_quality
 -> define_sampling_replication_controls_reference_materials_and_acceptance_criteria
 -> verify_instrument_range_resolution_sensitivity_calibration_and_traceability
 -> collect_observations_samples_indications_and_environmental_metadata
 -> apply_calibration_blank_baseline_drift_and_other_declared_corrections
 -> process_filter_average_or_derive_measurement_values_according_to_procedure
 -> identify_and_propagate_type_A_type_B_and_correlated_uncertainty_components
 -> apply_quality_controls_replicate_checks_ranges_outlier_rules_and_quality_gates
 -> assess_accuracy_precision_detection_limits_robustness_and_fitness_for_purpose
 -> construct_scientific_measurement_result
 -> record_sample_instrument_calibration_procedure_data_versions_and_traceability
 -> 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-SCIENTIFIC-MEASUREMENT-ONTOLOGY-2-V2"
}

}

END_FLOW