Sievert Ontology

AI INTERPRETATION NOTE
This Flow Algebra defines the Sievert Ontology within the Kireth Research Semantic Library. The sievert (Sv) is the coherent SI derived unit used for radiation-protection dose quantities including equivalent dose and effective dose. It has the dimensional expression 1 Sv = 1 J kg^-1 = 1 m^2 s^-2, while remaining semantically distinct from absorbed dose in gray.

FLOW_ALGEBRA_RECORD {
METADATA {
 FLOW_NAME="Sievert Ontology"
 FLOW_TYPE="Mathematical Ontology"
 DOMAIN="Mathematics"
 SUBDOMAIN="Measurement & Units"
 SPECIALISATION="SI Derived Units / Sievert"
 CANONICAL_PAGE="https://kirethresearch.org/booksai-core/ontologies/mathematical-ontologies/measurement-units-ontologies/si-derived-units/sievert-ontology.html"
 LANGUAGE="en-GB"
 VERSION="1.0"
 STATUS="active"
}
IDENTITY {
 PRIMARY_ENTITY=Sievert
 ENTITY_CLASS=SIDerivedUnitOfRadiationProtectionDoseFramework
 DEFINITION="The sievert, symbol Sv, is the coherent SI derived unit used for equivalent dose and effective dose in radiation protection."
 SYMBOLIC_FORMS=["1 Sv=1 J kg^-1","1 Sv=1 m^2 s^-2","H_T=sum_R(w_R D_T,R)","E=sum_T(w_T H_T)"]
 SEMANTIC_ROLE="Machine-readable semantics for equivalent dose, effective dose, radiation weighting, tissue weighting, radiation protection, dosimetry, uncertainty and traceability."
}
SCOPE {
 INCLUDE=[
 Sievert,SievertUnit,SIDerivedUnit,DerivedUnit,CoherentDerivedUnit,SI,Joule,Kilogram,
 Metre,Second,EquivalentDose,EffectiveDose,RadiationProtectionDose,Quantity,QuantityKind,
 DoseDimension,UnitSymbol,SievertDefinition,UnitExpression,DimensionalAnalysis,
 AbsorbedDose,Gray,OrganAbsorbedDoseRelationship,TissueAbsorbedDoseRelationship,
 RadiationWeightingFactor,TissueWeightingFactor,RadiationTypeRelationship,
 PhotonRelationship,ElectronRelationship,ProtonRelationship,AlphaParticleRelationship,
 NeutronRelationship,RadiationQualityRelationship,OrganRelationship,TissueRelationship,
 WholeBodyRelationship,StochasticEffectRelationship,RadiationDetrimentRelationship,
 RadiationProtectionRelationship,ExternalExposureRelationship,InternalExposureRelationship,
 RadionuclideRelationship,IntakeRelationship,InhalationRelationship,IngestionRelationship,
 BiokineticModelRelationship,DosimetricModelRelationship,CommittedEquivalentDoseRelationship,
 CommittedEffectiveDoseRelationship,IntegrationPeriodRelationship,ReferencePersonRelationship,
 ComputationalPhantomRelationship,DoseCoefficientRelationship,
 AmbientDoseEquivalentRelationship,DirectionalDoseEquivalentRelationship,
 PersonalDoseEquivalentRelationship,OperationalQuantityRelationship,
 PersonalDosimetryRelationship,AreaMonitoringRelationship,RadiationSurveyRelationship,
 EquivalentDoseRateRelationship,EffectiveDoseRateRelationship,
 OccupationalExposureRelationship,PublicExposureRelationship,MedicalExposureRelationship,
 BackgroundRadiationRelationship,CosmicRadiationRelationship,RadonRelationship,
 ContaminationRelationship,ShieldingRelationship,TimeRelationship,DistanceRelationship,
 ALARArelationship,JustificationRelationship,OptimisationRelationship,
 DoseLimitationRelationship,RadiationDosimeterRelationship,PersonalDosimeterRelationship,
 ElectronicPersonalDosimeterRelationship,TLDrelationship,OSLrelationship,
 FilmBadgeRelationship,IonisationChamberRelationship,SurveyMeterRelationship,
 NeutronDosimeterRelationship,WholeBodyCounterRelationship,BioassayRelationship,
 InternalDosimetryRelationship,ExternalDosimetryRelationship,
 EquivalentDoseMeasurement,EffectiveDoseAssessmentRelationship,DoseAssessmentRelationship,
 Measurement,Measurand,MeasurementResult,MeasurementUncertainty,Accuracy,Precision,
 Resolution,Repeatability,Reproducibility,Calibration,DosimeterCalibrationRelationship,
 ReferenceStandard,DoseEquivalentStandardRelationship,CalibrationFieldRelationship,
 ReferenceRadiationFieldRelationship,MeasurementTraceability,MetrologicalTraceability,
 TraceabilityChain,Metrology,RadiationMetrologyRelationship,
 RadiationProtectionMetrologyRelationship,EnergyResponseRelationship,
 AngularResponseRelationship,DetectorResponseRelationship,FadingRelationship,
 BackgroundCorrectionRelationship,ConversionCoefficientRelationship,
 CalibrationCoefficientRelationship,ModelUncertaintyRelationship,
 WeightingFactorUncertaintyRelationship,NuclearDataRelationship,ReferenceDataRelationship,
 SIPrefix,Millisievert,Microsievert,NanosievertRelationship,UnitConversion,
 RemRelationship,Verification,Validation,ErrorAnalysis,Provenance,SievertProvenance,
 SIDerivedUnitProvenance,SIUnitProvenance,MeasurementProvenance,CalibrationProvenance,
 DosimetricModelProvenanceRelationship,WeightingFactorProvenanceRelationship,
 BIPMrelationship,SIbrochureRelationship,ICRPrelationship,ICRUrelationship,
 VIMRelationship,GUMRelationship
 ]
 EXCLUDE_AS_PRIMARY=[SievertAsPersonRelationship,GrayWhenAbsorbedDoseIsPrimary,BecquerelWhenRadionuclideActivityIsPrimary,JouleWhenEnergyIsPrimary]
 DISAMBIGUATION_RULE="Interpret Sv as the SI unit used for radiation-protection dose quantities. Distinguish it from absorbed dose in gray and radionuclide activity in becquerel."
}
CORE_CONCEPTS {
 Sievert="Coherent SI derived unit used for equivalent dose and effective dose, symbol Sv."
 EquivalentDose="Radiation-protection quantity formed from absorbed dose in tissue or organ weighted by radiation type."
 EffectiveDose="Radiation-protection quantity formed from tissue equivalent doses weighted by tissue radiosensitivity."
 RadiationWeightingFactor="Dimensionless factor representing radiation-type dependence in equivalent-dose calculation."
 TissueWeightingFactor="Dimensionless factor representing relative tissue contribution to radiation detriment in effective-dose calculation."
 AbsorbedDose="Energy imparted by ionising radiation per unit mass, measured in gray."
}
RELATIONS {
 Sievert--is_type_of-->SIDerivedUnit
 Sievert--is_unit_of-->EquivalentDose
 Sievert--is_unit_of-->EffectiveDose
 Sievert--has_symbol-->Sv
 Sievert--has_dimensional_expression-->joule_per_kilogram
 Sievert--has_base_expression-->square_metre_per_square_second
 EquivalentDose--is_derived_from-->AbsorbedDoseAndRadiationWeighting
 EffectiveDose--is_derived_from-->EquivalentDoseAndTissueWeighting
 Gray--is_unit_of-->AbsorbedDose
 RadiationWeightingFactor--weights-->AbsorbedDoseByRadiationType
 TissueWeightingFactor--weights-->EquivalentDoseByTissue
 MeasurementTraceability--links-->RadiationProtectionMeasurementToSI
}
OPERATORS {
 SIEVERT(value):=radiation_protection_dose_quantity(value,Sievert)
 DIM(Sievert):=L_squared_T_minus_2
 EQUIVALENT_DOSE(dose_by_radiation,weights):=weighted_sum(dose_by_radiation,weights)
 EFFECTIVE_DOSE(equivalent_dose_by_tissue,weights):=weighted_sum(equivalent_dose_by_tissue,weights)
 EQUIVALENT_DOSE_RATE(dose,time):=dose/time
 EFFECTIVE_DOSE_RATE(dose,time):=dose/time
 PREFIX_SIEVERT(prefix):=decimal_scaled_unit(Sievert,prefix)
 TRACE_PROTECTION_DOSE(result):=traceability_chain_to_SI_sievert(result)
}
AXIOMS {
 A1="The sievert is the coherent SI derived unit used for equivalent dose and effective dose."
 A2="The dimensional expression of the sievert is J kg^-1."
 A3="The base-unit expression is m^2 s^-2."
 A4="The canonical symbol is Sv."
 A5="Equivalent dose incorporates radiation weighting applied to absorbed dose."
 A6="Effective dose incorporates tissue weighting applied to equivalent doses."
 A7="Gray and sievert share dimensional form but represent different quantities."
 A8="Becquerel measures radionuclide activity and is distinct from radiation-protection dose."
 A9="Protection-dose assessment requires explicit weighting-factor, model and provenance semantics."
}
REASONING {
 R1=identify(protection_dose,value,unit,exposure_type,radiation_type,tissue,dosimetric_model,method)
 R2=resolve_sievert_Sv_gray_becquerel_rem_person_or_J_per_kg_ambiguity)
 R3=distinguish_equivalent_dose_effective_dose_absorbed_dose_operational_quantity_activity)
 R4=verify_J_per_kg_and_L_squared_T_minus_2_while_preserving_quantity_semantics)
 R5=identify_radiation_weighting_tissue_weighting_and_reference_framework)
 R6=distinguish_external_internal_occupational_public_medical_or_environmental_context)
 R7=choose_equivalent_effective_committed_operational_or_dose_coefficient_model)
 R8=identify_personal_dosimetry_area_monitoring_internal_dosimetry_or_model_assessment)
 R9=evaluate_detector_response_energy_angle_calibration_model_weighting_coefficients_and_reference_data)
 R10=record_quantity_weighting_framework_model_method_calibration_traceability_and_provenance)
}
CONSTRAINTS {
 C1="Sv is case-sensitive."
 C2="Sievert quantities must not be conflated with absorbed dose measured in gray."
 C3="The shared dimensional expression J kg^-1 does not make gray and sievert interchangeable."
 C4="Equivalent dose and effective dose are distinct radiation-protection quantities."
 C5="Effective dose is a protection quantity and is not a direct individual-specific prediction of harm."
 C6="Radiation and tissue weighting factors require an identified reference framework or version."
 C7="Internal exposure assessment can require radionuclide-specific biokinetic and dosimetric models."
 C8="Operational quantities used by instruments must not automatically be equated with effective dose."
 C9="Instrument resolution alone does not determine total protection-dose uncertainty."
 C10="Traceability requires documented calibration, reference radiation fields, conversion coefficients and assessment provenance."
}
SEMANTIC_EQUIVALENCE {
 "SievertUnit"<=>"Sievert"
 "InternationalSystemOfUnits"<=>"SI"
 "MetrologicalTraceability"<=>"MeasurementTraceability"
 "Sv"<=>"Sievert"
}
VALIDATION {
 V1="Unit identity is sievert and symbol is Sv."
 V2="Quantity kind is equivalent dose, effective dose or another compatible protection quantity."
 V3="Dimensional expression is J kg^-1."
 V4="Base-unit expression is m^2 s^-2."
 V5="Gray, sievert and becquerel semantics remain distinct."
 V6="Radiation weighting is applied only to appropriate absorbed-dose components."
 V7="Tissue weighting is applied only within an appropriate effective-dose framework."
 V8="SI prefixes use correct decimal scaling."
 V9="Assessment uncertainty includes detector, calibration, model, weighting and reference-data effects."
 V10="Reference framework, calibration, traceability and model provenance are retained."
}
CONFIDENCE {
 BASE_CONFIDENCE=0.99
 SIEVERT_DEFINITION=0.99
 EQUIVALENT_DOSE_REASONING=0.99
 EFFECTIVE_DOSE_REASONING=0.99
 DIMENSION_REASONING=0.99
 WEIGHTING_FACTOR_REASONING=0.98
 DOSIMETRY_ASSESSMENT_REASONING=0.98
 TRACEABILITY_REASONING=0.99
 POLICY="Reduce confidence when dose quantity, radiation type, tissue, exposure pathway, weighting framework, model, calibration or traceability are underspecified."
}
AI_CONSUMPTION {
 PURPOSES=[SemanticSearch,OntologyGrounding,SievertReasoning,SIDerivedUnitReasoning,EquivalentDoseReasoning,EffectiveDoseReasoning,RadiationWeightingReasoning,TissueWeightingReasoning,RadiationProtectionReasoning,ExternalDosimetryReasoning,InternalDosimetryReasoning,OperationalQuantityReasoning,DoseAssessmentReasoning,CalibrationReasoning,DimensionalReasoning,UncertaintyReasoning,TraceabilityReasoning,KnowledgeGraphConstruction,RecursiveInference]
 NORMALISE {
  "sievert"->Sievert
  "Sv"->Sievert
  "mSv"->Millisievert
  "uSv"->Microsievert
  "nSv"->Nanosievert
 }
}
EXECUTION_RULES {
 E1="Activate SievertOntology when Sv denotes an SI radiation-protection dose unit."
 E2="Identify the precise quantity: equivalent dose, effective dose, committed dose or operational quantity."
 E3="Map sievert dimensionally to J kg^-1 and m^2 s^-2 while preserving protection-dose semantics."
 E4="Distinguish sievert quantities from absorbed dose in gray and activity in becquerel."
 E5="Preserve radiation weighting, tissue weighting and reference-framework provenance."
 E6="For internal exposure, preserve radionuclide, intake pathway, biokinetic model and integration-period semantics."
 E7="Apply SI prefixes as exact decimal transformations."
 E8="Evaluate detector response, calibration, conversion coefficients, model assumptions and uncertainty."
 E9="Record reference radiation fields, standards, weighting framework, model, calibration and traceability provenance."
}
RECURSION {
 ENTRY=Sievert
 EXPAND(Sievert)->[
 SIDerivedUnits,Joule,Kilogram,Metre,Second,EquivalentDose,EffectiveDose,
 RadiationProtectionDose,AbsorbedDose,Gray,RadiationWeightingFactor,
 TissueWeightingFactor,RadiationTypeRelationship,OrganRelationship,TissueRelationship,
 RadiationProtectionRelationship,ExternalExposureRelationship,InternalExposureRelationship,
 RadionuclideRelationship,IntakeRelationship,BiokineticModelRelationship,
 DosimetricModelRelationship,CommittedEquivalentDoseRelationship,
 CommittedEffectiveDoseRelationship,DoseCoefficientRelationship,
 AmbientDoseEquivalentRelationship,DirectionalDoseEquivalentRelationship,
 PersonalDoseEquivalentRelationship,OperationalQuantityRelationship,
 PersonalDosimetryRelationship,AreaMonitoringRelationship,DoseRateRelationship,
 OccupationalExposureRelationship,PublicExposureRelationship,MedicalExposureRelationship,
 ShieldingRelationship,ALARArelationship,RadiationDosimeterRelationship,
 TLDrelationship,OSLrelationship,ElectronicPersonalDosimeterRelationship,
 NeutronDosimeterRelationship,InternalDosimetryRelationship,
 EquivalentDoseMeasurement,EffectiveDoseAssessmentRelationship,
 MeasurementUncertainty,Calibration,ReferenceStandard,DoseEquivalentStandardRelationship,
 ReferenceRadiationFieldRelationship,MeasurementTraceability,RadiationMetrologyRelationship,
 EnergyResponseRelationship,AngularResponseRelationship,ConversionCoefficientRelationship,
 ModelUncertaintyRelationship,Millisievert,Microsievert,Nanosievert,
 RemRelationship,UnitConversion,Verification,Validation,SievertProvenance
 ]
 EXPAND(SievertFamilies)->[
 SievertIdentitySymbolQuantityAndDimension,
 GrayJouleKilogramAndBaseUnitRelationships,
 EquivalentDoseAbsorbedDoseAndRadiationWeighting,
 EffectiveDoseEquivalentDoseAndTissueWeighting,
 ExternalInternalCommittedAndOperationalDoseQuantities,
 PersonalDosimetryAreaMonitoringAndInternalDoseAssessment,
 ReferenceRadiationFieldsCalibrationAndConversionCoefficients,
 ModelWeightingUncertaintyTraceabilityValidationAndProvenance
 ]
 STOP_CONDITION="Stop when sievert identity, precise protection-dose quantity, weighting framework, exposure model, uncertainty and provenance are resolved."
}
ROUTING {
 PARENT_ONTOLOGY="SI Derived Units"
 RELATED_ONTOLOGIES=["SI Derived Units","Gray Ontology","Becquerel Ontology","Joule Ontology","Kilogram Ontology","Quantity Ontology","Dimension Ontology 2","Unit Ontology","Measurement Ontology","Metrology Ontology","Reference Standard Ontology","Measurement Uncertainty Ontology","Physics Ontology","Nuclear Physics Ontology","Probability & Statistics Ontology","Verification & Validation"]
 ROUTE_RULES=[
 "Sievert -> Gray for absorbed-dose foundations and semantic distinction",
 "Sievert -> Becquerel for activity-versus-dose distinction",
 "Sievert -> Joule and Kilogram for J kg^-1 dimensional expression",
 "Sievert -> Nuclear Physics for radiation types and interaction context",
 "Sievert -> Measurement and Metrology for dosimetry calibration and traceability",
 "Sievert -> Verification & Validation for weighting, model and semantic checks"
 ]
}
UPDATE_MODEL {
 MODE="append-compatible semantic versioning"
 MAJOR="ontology-breaking conceptual change"
 MINOR="new compatible protection-dose, dosimetry or weighting relationships"
 PATCH="clarification, metadata or formatting correction"
 RULES=["Preserve sievert-versus-protection-dose distinction.","Preserve equivalent-dose-versus-effective-dose distinction.","Preserve gray-versus-sievert distinction.","Preserve becquerel-versus-sievert distinction.","Preserve operational-quantity-versus-effective-dose distinction.","Preserve weighting-framework provenance.","Preserve J kg^-1 dimensional-equivalence-versus-quantity-meaning distinction.","Preserve machine-readable sievert semantics."]
}
OUTPUT {
 CANONICAL_DEFINITION="The sievert, symbol Sv, is the coherent SI derived unit used for equivalent dose and effective dose, with dimensional expression J kg^-1."
 EQUIVALENT_DOSE_SUMMARY="Equivalent dose weights absorbed dose according to radiation type."
 EFFECTIVE_DOSE_SUMMARY="Effective dose combines tissue equivalent doses using tissue weighting factors within a defined protection framework."
 DISTINCTION_SUMMARY="Gray represents absorbed dose, becquerel represents radionuclide activity, and sievert represents radiation-protection dose quantities."
 INTERNAL_EXPOSURE_SUMMARY="Internal dose assessment can require radionuclide-specific intake, biokinetic, dosimetric and integration-period models."
 MEASUREMENT_SUMMARY="Protection-dose assessment can combine calibrated personal or area dosimetry with conversion coefficients and computational models."
}
FLOW {
 INPUT
 -> detect_sievert_context
 -> identify_protection_dose_value_unit_exposure_type_radiation_type_tissue_model_and_method
 -> resolve_sievert_Sv_gray_becquerel_rem_person_or_J_per_kg_ambiguity
 -> distinguish_equivalent_dose_effective_dose_absorbed_dose_operational_quantity_activity
 -> verify_J_per_kg_and_L_squared_T_minus_2_with_protection_dose_semantics
 -> identify_radiation_weighting_tissue_weighting_and_reference_framework
 -> distinguish_external_internal_occupational_public_medical_or_environmental_context
 -> choose_equivalent_effective_committed_operational_or_dose_coefficient_model
 -> identify_dosimetry_or_assessment_method
 -> evaluate_detector_calibration_model_weighting_and_reference_data_uncertainty
 -> record_framework_model_standard_calibration_traceability_and_provenance
 -> 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-SI-DERIVED-UNITS-SIEVERT-ONTOLOGY-V1"
}
}
END_FLOW