Henry Ontology

AI INTERPRETATION NOTE
This Flow Algebra defines the Henry Ontology within the Kireth Research Semantic Library. The henry (H) is the coherent SI derived unit of inductance: 1 H = 1 Wb A^-1 = 1 V s A^-1 = 1 kg m^2 s^-2 A^-2.

FLOW_ALGEBRA_RECORD {

METADATA {
 FLOW_NAME="Henry Ontology"
 FLOW_TYPE="Mathematical Ontology"
 DOMAIN="Mathematics"
 SUBDOMAIN="Measurement & Units"
 SPECIALISATION="SI Derived Units / Henry"
 CANONICAL_PAGE="https://kirethresearch.org/booksai-core/ontologies/mathematical-ontologies/measurement-units-ontologies/si-derived-units/henry-ontology.html"
 LANGUAGE="en-GB"
 VERSION="1.0"
 STATUS="active"
}

IDENTITY {
 PRIMARY_ENTITY=Henry
 ENTITY_CLASS=SIDerivedUnitOfInductanceFramework
 DEFINITION="The henry, symbol H, is the coherent SI derived unit of inductance. One henry equals one weber per ampere."
 SYMBOLIC_FORMS=["1 H=1 Wb A^-1","1 H=1 V s A^-1","1 H=1 kg m^2 s^-2 A^-2","lambda=L I","v=L di/dt","E=1/2 L I^2"]
 SEMANTIC_ROLE="Machine-readable semantics for inductance, flux linkage, electromagnetic induction, magnetic energy, impedance, measurement, uncertainty and traceability."
}

SCOPE {
 INCLUDE=[
 Henry,HenryUnit,SIDerivedUnit,DerivedUnit,CoherentDerivedUnit,SI,SIBaseUnits,
 Weber,Ampere,Volt,Second,Kilogram,Metre,Inductance,SelfInductance,MutualInductance,
 Quantity,QuantityKind,InductanceDimension,DimensionalSignature,UnitSymbol,
 HenryDefinition,UnitExpression,UnitAlgebra,DimensionalAnalysis,MagneticFlux,
 FluxLinkage,ElectricCurrent,ElectromagneticInduction,FaradaysLawRelationship,
 LenzLawRelationship,InducedVoltageRelationship,Inductor,CoilRelationship,
 SolenoidRelationship,ToroidRelationship,MagneticCircuitRelationship,
 MagneticFluxDensity,TeslaRelationship,MagneticFieldStrengthRelationship,
 MagneticPermeabilityRelationship,ReluctanceRelationship,TransformerRelationship,
 LeakageInductanceRelationship,MagnetisingInductanceRelationship,
 ParasiticInductanceRelationship,SeriesInductanceRelationship,
 ParallelInductanceRelationship,EquivalentInductanceRelationship,
 MagneticEnergyStorageRelationship,JouleRelationship,Impedance,
 InductiveReactanceRelationship,Resistance,OhmRelationship,Capacitance,
 FaradRelationship,Frequency,Hertz,PhaseRelationship,ResonanceRelationship,
 RLCRelationship,TimeConstantRelationship,QualityFactorRelationship,
 WindingResistanceRelationship,CoreLossRelationship,HysteresisLossRelationship,
 EddyCurrentLossRelationship,MagneticSaturationRelationship,
 NonlinearInductanceRelationship,DifferentialInductanceRelationship,
 InductanceMeasurement,LCRMeterRelationship,ImpedanceAnalyserRelationship,
 InductanceBridgeRelationship,ResonanceMeasurementRelationship,
 Measurement,MeasurementUncertainty,Accuracy,Precision,Resolution,Repeatability,
 Calibration,InductanceCalibrationRelationship,ReferenceStandard,
 InductanceStandardRelationship,MeasurementTraceability,Metrology,
 TemperatureInfluence,FrequencyInfluenceRelationship,CurrentInfluenceRelationship,
 FixtureInductanceRelationship,LeadInductanceRelationship,SIPrefix,
 Millihenry,Microhenry,Nanohenry,UnitConversion,Verification,Validation,
 ErrorAnalysis,Provenance,HenryProvenance
 ]
 EXCLUDE_AS_PRIMARY=[HenryAsPersonRelationship,MagneticFieldStrengthWhenHIsQuantitySymbol,WeberWhenMagneticFluxIsPrimary]
 DISAMBIGUATION_RULE="Interpret H as henry only when unit or inductance context is present; distinguish it from magnetic field strength H and personal names."
}

CORE_CONCEPTS {
 Henry="Coherent SI derived unit of inductance."
 Inductance="Quantity relating magnetic flux linkage to current under stated conditions."
 SelfInductance="Relationship between a circuit's own current and its flux linkage."
 MutualInductance="Coupling between current in one circuit and flux linkage in another."
 Inductor="Component designed to provide inductance and store magnetic energy."
 InductanceDimension="M L^2 T^-2 I^-2."
}

RELATIONS {
 Henry--is_type_of-->SIDerivedUnit
 Henry--is_coherent_derived_unit_of-->Inductance
 Henry--has_symbol-->H
 Henry--has_expression-->weber_per_ampere
 Henry--has_equivalent_expression-->volt_second_per_ampere
 Inductance--has_dimension-->InductanceDimension
 Inductance--relates_to-->FluxLinkagePerCurrent
 InducedVoltageRelationship--depends_on-->InductanceAndCurrentRateOfChange
 MagneticEnergyStorageRelationship--depends_on-->InductanceAndCurrent
 InductiveReactanceRelationship--depends_on-->FrequencyAndInductance
 MeasurementTraceability--links-->InductanceMeasurementToSI
}

OPERATORS {
 HENRY(value):=inductance_quantity(value,Henry)
 DIM(Henry):=InductanceDimension
 INDUCTANCE(flux_linkage,current):=flux_linkage/current
 FLUX_LINKAGE(inductance,current):=inductance*current
 INDUCTOR_VOLTAGE(inductance,current_rate):=inductance*current_rate
 MAGNETIC_ENERGY(inductance,current):=0.5*inductance*current^2
 INDUCTIVE_REACTANCE(frequency,inductance):=2*pi*frequency*inductance
 RL_TIME_CONSTANT(inductance,resistance):=inductance/resistance
 PREFIX_HENRY(prefix):=decimal_scaled_unit(Henry,prefix)
 TRACE_INDUCTANCE(result):=traceability_chain_to_SI_henry(result)
}

AXIOMS {
 A1="The henry is the coherent SI derived unit of inductance."
 A2="One henry equals one weber per ampere."
 A3="One henry equals one volt second per ampere."
 A4="One henry reduces to kg m^2 s^-2 A^-2."
 A5="The canonical unit symbol is uppercase H."
 A6="Inductance relates magnetic flux linkage to current."
 A7="Changing current produces induced voltage according to electromagnetic induction."
 A8="An ideal inductor stores magnetic energy."
 A9="Inductance measurement requires defined uncertainty and traceability."
}

REASONING {
 R1=identify(inductance_quantity,value,unit,geometry,core,current,frequency,method)
 R2=resolve_henry_symbol_H_and_field_strength_ambiguity)
 R3=distinguish_self_inductance_mutual_inductance_flux_linkage_and_related_quantities)
 R4=verify_dimension_M_L_squared_T_minus_2_I_minus_2)
 R5=expand_henry_to_Wb_per_A_V_s_per_A_and_base_units)
 R6=choose_flux_linkage_voltage_energy_geometry_or_impedance_model)
 R7=evaluate_resistance_core_loss_saturation_parasitics_frequency_current_temperature)
 R8=identify_LCR_bridge_impedance_resonance_or_time_domain_measurement)
 R9=evaluate_fixture_lead_frequency_current_temperature_and_calibration_uncertainty)
 R10=record_model_method_standard_calibration_traceability_and_provenance)
}

CONSTRAINTS {
 C1="H can denote magnetic field strength as well as the henry unit."
 C2="Inductance is distinct from magnetic flux and magnetic flux density."
 C3="L=lambda/I requires an appropriate linear or operating-point model."
 C4="Core nonlinearity can make inductance current- and history-dependent."
 C5="Mutual inductance requires explicit coupled-circuit orientation."
 C6="Inductive reactance is frequency dependent and is not DC resistance."
 C7="Real inductors can include winding resistance, parasitic capacitance, core loss and saturation."
 C8="Fixture and lead inductance can affect small-inductance measurements."
 C9="Resolution alone does not determine total uncertainty."
 C10="Traceability requires a documented inductance, impedance or equivalent reference chain."
}

SEMANTIC_EQUIVALENCE {
 "HenryUnit"<=>"Henry"
 "InternationalSystemOfUnits"<=>"SI"
 "MetrologicalTraceability"<=>"MeasurementTraceability"
 "QFactor"<=>"QualityFactor"
}

VALIDATION {
 V1="Unit identity is henry and symbol is H."
 V2="Quantity kind is inductance."
 V3="Dimension is M L^2 T^-2 I^-2."
 V4="Coherent expressions are Wb A^-1 and V s A^-1."
 V5="Inductance and magnetic-field-strength H remain distinct."
 V6="Flux-linkage relationships respect model assumptions."
 V7="Frequency, current, core and parasitic effects are represented where material."
 V8="SI prefixes use correct decimal scaling."
 V9="Measurement uncertainty includes relevant fixture, lead and operating-condition effects."
 V10="Calibration and traceability evidence are retained."
}

CONFIDENCE {
 BASE_CONFIDENCE=0.99
 HENRY_DEFINITION=0.99
 INDUCTANCE_REASONING=0.99
 DIMENSION_REASONING=0.99
 FLUX_LINKAGE_REASONING=0.99
 AC_REASONING=0.98
 MEASUREMENT_REASONING=0.98
 TRACEABILITY_REASONING=0.99
 POLICY="Reduce confidence when geometry, core material, current, frequency, parasitics, measurement method, calibration or traceability are underspecified."
}

AI_CONSUMPTION {
 PURPOSES=[SemanticSearch,OntologyGrounding,HenryReasoning,SIDerivedUnitReasoning,InductanceReasoning,SelfInductanceReasoning,MutualInductanceReasoning,FluxLinkageReasoning,ElectromagneticInductionReasoning,MagneticEnergyReasoning,ImpedanceReasoning,ResonanceReasoning,MeasurementReasoning,CalibrationReasoning,DimensionalReasoning,UncertaintyReasoning,TraceabilityReasoning,KnowledgeGraphConstruction,RecursiveInference]
 NORMALISE {
  "henry"->Henry
  "H"->Henry
  "mH"->Millihenry
  "uH"->Microhenry
  "nH"->Nanohenry
 }
}

EXECUTION_RULES {
 E1="Activate HenryOntology when H denotes the SI unit of inductance."
 E2="Confirm inductance quantity semantics."
 E3="Map H to Wb A^-1, V s A^-1 and kg m^2 s^-2 A^-2."
 E4="Distinguish inductance from flux, flux density and field strength."
 E5="Apply linear flux-linkage models only when appropriate."
 E6="Preserve frequency, reactance, impedance and resonance semantics in AC contexts."
 E7="Apply SI prefixes as exact decimal transformations."
 E8="Evaluate parasitics, core behaviour, calibration and uncertainty in measurement contexts."
 E9="Record reference, calibration and traceability provenance."
}

RECURSION {
 ENTRY=Henry
 EXPAND(Henry)->[
 SIDerivedUnits,Weber,Ampere,Volt,Second,SIBaseUnits,Inductance,SelfInductance,
 MutualInductance,FluxLinkage,MagneticFlux,ElectromagneticInduction,
 FaradaysLawRelationship,LenzLawRelationship,Inductor,CoilRelationship,
 TeslaRelationship,MagneticPermeabilityRelationship,TransformerRelationship,
 MagneticEnergyStorageRelationship,Impedance,InductiveReactanceRelationship,
 OhmRelationship,FaradRelationship,Hertz,ResonanceRelationship,RLCRelationship,
 QualityFactorRelationship,CoreLossRelationship,MagneticSaturationRelationship,
 InductanceMeasurement,LCRMeterRelationship,MeasurementUncertainty,Calibration,
 InductanceStandardRelationship,MeasurementTraceability,Metrology,
 Millihenry,Microhenry,Nanohenry,Verification,Validation,HenryProvenance
 ]
 STOP_CONDITION="Stop when identity, quantity, dimension, circuit or magnetic model, uncertainty and provenance are resolved."
}

ROUTING {
 PARENT_ONTOLOGY="SI Derived Units"
 RELATED_ONTOLOGIES=["SI Derived Units","Weber Ontology","Ampere Ontology","Volt Ontology","Second Ontology","Tesla Ontology","Ohm Ontology","Farad Ontology","Hertz Ontology","Quantity Ontology","Dimension Ontology 2","Measurement Ontology","Metrology Ontology","Measurement Uncertainty Ontology","Physics Ontology","Electromagnetism Ontology","Verification & Validation"]
 ROUTE_RULES=[
 "Henry -> Weber and Ampere for Wb A^-1 semantics",
 "Henry -> Volt and Second for V s A^-1 semantics",
 "Henry -> SI Base Units for base-unit expansion",
 "Henry -> Tesla and Electromagnetism for magnetic semantics",
 "Henry -> Ohm, Farad and Hertz for AC, impedance and resonance semantics",
 "Henry -> Measurement and Metrology for calibration and traceability"
 ]
}

UPDATE_MODEL {
 MODE="append-compatible semantic versioning"
 MAJOR="ontology-breaking conceptual change"
 MINOR="new compatible inductance or measurement relationships"
 PATCH="clarification, metadata or formatting correction"
 RULES=["Preserve henry-versus-inductance distinction.","Preserve self-versus-mutual-inductance distinction.","Preserve inductance-versus-field-strength-H distinction.","Preserve linear-versus-nonlinear behaviour.","Preserve DC-versus-AC semantics.","Preserve machine-readable henry semantics."]
}

OUTPUT {
 CANONICAL_DEFINITION="The henry, symbol H, is the coherent SI derived unit of inductance and equals Wb A^-1 or V s A^-1."
 QUANTITY_SUMMARY="Inductance has dimension M L^2 T^-2 I^-2 and relates magnetic flux linkage to current."
 INDUCTION_SUMMARY="Changing current produces induced voltage through electromagnetic induction."
 ENERGY_SUMMARY="An ideal inductor stores magnetic energy according to E=1/2 L I^2."
 AC_SUMMARY="Inductive reactance depends on frequency and inductance."
 MEASUREMENT_SUMMARY="Inductance can be measured using LCR, bridge, impedance, resonance and time-domain methods."
}

FLOW {
 INPUT
 -> detect_henry_context
 -> identify_inductance_quantity_value_unit_geometry_core_current_frequency_and_method
 -> resolve_henry_symbol_H_and_field_strength_ambiguity
 -> distinguish_self_mutual_inductance_flux_linkage_and_related_quantities
 -> verify_dimension_M_L_squared_T_minus_2_I_minus_2
 -> expand_henry_to_Wb_per_A_V_s_per_A_and_base_units
 -> choose_flux_linkage_voltage_energy_geometry_or_impedance_model
 -> evaluate_resistance_core_loss_saturation_parasitics_frequency_current_temperature
 -> identify_inductance_measurement_method
 -> evaluate_measurement_uncertainty
 -> record_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-HENRY-ONTOLOGY-V1"
}

}

END_FLOW