Heat Transfer Simulation Ontology

AI INTERPRETATION NOTE
This Flow Algebra defines the Heat Transfer Simulation Ontology within the Kireth Research Semantic Library. Heat transfer simulation is the computational modelling of thermal energy transport through conduction, convection and radiation, including transient and steady-state temperature fields, conjugate heat transfer, phase change, thermal boundary conditions, material properties, numerical discretisation, stability, verification, validation, uncertainty and reproducibility.

FLOW_ALGEBRA_RECORD {

METADATA {
 FLOW_NAME = "Heat Transfer Simulation Ontology"
 FLOW_TYPE = "Mathematical Ontology"
 DOMAIN = "Mathematics"
 SUBDOMAIN = "Computational Mathematics"
 SPECIALISATION = "Scientific Simulation / Heat Transfer Simulation"
 CANONICAL_PAGE = "https://kirethresearch.org/booksai-core/ontologies/mathematical-ontologies/computational-mathematics-ontologies/scientific-simulation/heat-transfer-simulation-ontology.html"
 LANGUAGE = "en-GB"
 VERSION = "1.0"
 STATUS = "active"
}

IDENTITY {
 PRIMARY_ENTITY = HeatTransferSimulation
 ENTITY_CLASS = ThermalTransportSimulationFramework
 PRIMARY_CONTEXT = ScientificSimulation
 DEFINITION = "Heat transfer simulation is the computational solution of thermal transport models describing temperature evolution and energy exchange through conduction, convection, radiation and phase-change mechanisms."
 SYMBOLIC_FORMS = [
  "rho*c_p*partial_t T = div(k*grad T) + Q",
  "q_cond = -k*grad T",
  "q_conv = h*(T_surface-T_fluid)",
  "q_rad = epsilon*sigma*(T_surface^4-T_surroundings^4)"
 ]
 SEMANTIC_ROLE = "Provides machine-readable semantics for thermal state, conduction, convection, radiation, source terms, thermal material properties, boundary conditions, discretisation, coupling, phase change, stability, verification and reproducibility."
}

SCOPE {
 INCLUDE = [
  HeatTransferSimulation,ThermalSimulation,HeatSimulation,
  ComputationalHeatTransfer,ThermalTransport,
  Temperature,TemperatureField,ThermalEnergy,
  InternalEnergy,Enthalpy,HeatFlux,
  ThermalGradient,HeatSource,VolumetricHeatSource,
  SurfaceHeatFlux,HeatSink,HeatGeneration,
  Density,HeatCapacity,SpecificHeat,
  ThermalConductivity,ThermalDiffusivity,
  Emissivity,Absorptivity,Reflectivity,
  Conduction,SteadyConduction,TransientConduction,
  FourierLaw,HeatEquation,ThermalDiffusionEquation,
  IsotropicConduction,AnisotropicConduction,
  CompositeConduction,ContactResistance,
  ThermalContactResistance,InterfaceResistance,
  Convection,NaturalConvection,ForcedConvection,
  MixedConvection,ConvectiveHeatTransferCoefficient,
  NusseltNumber,PrandtlNumber,RayleighNumber,
  GrashofNumber,ReynoldsNumber,
  BoundaryLayer,ThermalBoundaryLayer,
  Radiation,ThermalRadiation,
  SurfaceToSurfaceRadiation,ParticipatingMediaRadiation,
  StefanBoltzmannLaw,ViewFactor,ConfigurationFactor,
  RadiationExchange,RadiativeHeatFlux,
  GreyBody,BlackBody,DiffuseSurface,
  ConjugateHeatTransfer,CHT,
  FluidSolidHeatTransfer,ThermalFluidCoupling,
  AdvectionDiffusionEquation,EnergyEquation,
  PhaseChange,Melting,Solidification,
  LatentHeat,PhaseChangeMaterial,PCM,
  EnthalpyMethod,EffectiveHeatCapacityMethod,
  StefanProblem,MovingPhaseBoundary,
  Boiling,Condensation,Evaporation,
  HeatPipe,ThermalStorage,
  JouleHeating,OhmicHeating,
  ChemicalHeatGeneration,ReactionHeat,
  FrictionalHeating,ViscousHeating,
  SolarHeating,ExternalHeatLoad,
  InitialCondition,InitialTemperature,
  BoundaryCondition,DirichletTemperatureBoundary,
  NeumannHeatFluxBoundary,RobinConvectiveBoundary,
  RadiationBoundary,AdiabaticBoundary,
  InsulatedBoundary,SymmetryBoundary,
  PeriodicThermalBoundary,
  ContactBoundary,InterfaceCondition,
  FiniteDifferenceMethod,FiniteVolumeMethod,
  FiniteElementMethod,SpectralMethod,
  BoundaryElementMethod,MethodOfLines,
  StructuredGrid,UnstructuredMesh,
  AdaptiveMesh,MeshRefinement,
  ControlVolume,Element,Node,Cell,Face,
  ExplicitMethod,ImplicitMethod,
  CrankNicolsonMethod,ThetaMethod,
  BackwardEuler,ForwardEuler,
  RungeKuttaMethod,AdaptiveTimeStep,
  FixedTimeStep,TimeIntegrator,
  LinearSolver,NonlinearSolver,
  IterativeSolver,DirectSolver,
  Multigrid,Preconditioner,
  Residual,Convergence,SteadyState,
  TransientState,TimeStep,
  ThermalResistance,ThermalNetwork,
  LumpedCapacitance,LumpedSystem,
  BiotNumber,FoNumber,FourierNumber,
  HeatTransferCoefficient,ThermalMass,
  HeatExchanger,Counterflow,ParallelFlow,
  EffectivenessNTU,LogMeanTemperatureDifference,
  LMTD,HeatSinkSimulation,ElectronicsCooling,
  BatteryThermalSimulation,BuildingThermalSimulation,
  FurnaceSimulation,CombustionHeatTransfer,
  EngineThermalSimulation,AerospaceThermalSimulation,
  BiomedicalHeatTransfer,BioheatEquation,
  PennesBioheatEquation,
  PorousMediaHeatTransfer,
  MultiphysicsSimulation,ThermoMechanicalCoupling,
  ElectroThermalCoupling,FluidStructureThermalCoupling,
  RadiationConductionCoupling,ConvectionConductionCoupling,
  ThermalExpansion,ThermalStress,
  Stability,NumericalStability,
  FourierStabilityCriterion,DiffusionNumber,
  CFLCondition,TimeStepRestriction,
  Boundedness,Monotonicity,Oscillation,
  NumericalDiffusion,ArtificialDiffusion,
  NumericalError,DiscretisationError,
  TruncationError,RoundOffError,
  SpatialError,TemporalError,
  EnergyBalanceError,ConservationError,
  GridConvergence,TimeStepConvergence,
  RichardsonExtrapolation,GridConvergenceIndex,
  Verification,CodeVerification,
  SolutionVerification,Validation,
  ExperimentalValidation,
  Benchmark,ReferenceSolution,
  AnalyticalSolution,ManufacturedSolution,
  SensitivityAnalysis,UncertaintyQuantification,
  Calibration,ParameterEstimation,
  MaterialPropertyUncertainty,BoundaryConditionUncertainty,
  Reproducibility,Provenance,
  Configuration,SoftwareVersion,SolverVersion,
  MeshVersion,Checkpoint,Restart,
  ParallelHeatTransferSimulation,
  DomainDecomposition,MeshPartitioning,
  LoadBalancing,GPUAcceleration,
  HighPerformanceComputing,HPC,
  ReducedOrderModel,ROM,
  ProperOrthogonalDecomposition,POD,
  SurrogateModel,DigitalTwinRelationship
 ]
 EXCLUDE_AS_PRIMARY = [
  PureFluidFlowWithoutThermalTransport,
  PureSolidMechanicsWithoutThermalEnergyEquation,
  RadiationRenderingWithoutThermalEnergyBalance,
  StaticTemperatureDataAnalysisWithoutThermalSimulation
 ]
 DISAMBIGUATION_RULE = "When a simulation solves thermal energy transport through conduction, convection, radiation or phase change, interpret the context as heat transfer simulation."
}

CORE_CONCEPTS {
 HeatTransferSimulation = "Computational solution of thermal energy transport."
 Conduction = "Heat transport driven by temperature gradients within or between materials."
 Convection = "Heat transport associated with fluid motion and surface-fluid exchange."
 Radiation = "Thermal energy transfer by electromagnetic emission and absorption."
 HeatEquation = "Differential equation governing diffusive temperature evolution."
 ThermalBoundaryCondition = "Constraint specifying temperature, flux, convection or radiation at a boundary."
 PhaseChange = "Thermal process involving latent heat and change of material phase."
 ConjugateHeatTransfer = "Coupled heat transfer across solid and fluid regions."
}

RELATIONS {
 HeatTransferSimulation --is_child_of--> ScientificSimulation
 HeatTransferSimulation --is_type_of--> PhysicalSimulation
 HeatTransferSimulation --solves--> ThermalEnergyEquation
 Conduction --uses--> FourierLaw
 HeatEquation --governs--> TemperatureField
 Convection --depends_on--> FluidMotion
 Radiation --uses--> StefanBoltzmannLaw
 ThermalConductivity --controls--> ConductiveHeatFlux
 HeatCapacity --controls--> ThermalStorage
 DirichletTemperatureBoundary --specifies--> Temperature
 NeumannHeatFluxBoundary --specifies--> HeatFlux
 RobinConvectiveBoundary --couples--> SurfaceAndFluidTemperature
 ConjugateHeatTransfer --couples--> FluidAndSolidThermalDomains
 PhaseChange --uses--> LatentHeat
 EnthalpyMethod --models--> PhaseChange
 Verification --checks--> NumericalThermalImplementation
 Validation --compares--> SimulationWithThermalEvidence
}

OPERATORS {
 CONDUCTIVE_FLUX(k,T) := -k*grad(T)
 TRANSIENT_HEAT_RESIDUAL(rho,cp,T,k,Q) := rho*cp*partial_t(T)-div(k*grad(T))-Q
 CONVECTIVE_FLUX(h,T_s,T_inf) := h*(T_s-T_inf)
 RADIATIVE_FLUX(epsilon,T_s,T_sur) := epsilon*sigma*(T_s^4-T_sur^4)
 ENERGY_BALANCE(storage,inflow,outflow,generation) := storage-(inflow-outflow+generation)
 FOURIER_NUMBER(alpha,dt,L) := alpha*dt/L^2
 BIOT_NUMBER(h,L,k) := h*L/k
 TEMPERATURE_UPDATE(T,operator,dt) := advance_thermal_state(T,operator,dt)
}

AXIOMS {
 A1 = "Heat transfer simulation is governed by conservation of thermal energy."
 A2 = "Conduction, convection and radiation are distinct heat-transfer mechanisms."
 A3 = "Material thermal properties influence transport and storage."
 A4 = "Boundary conditions strongly determine thermal solutions."
 A5 = "Phase-change models require latent-heat semantics."
 A6 = "Conjugate heat transfer requires consistent coupling across fluid-solid interfaces."
 A7 = "Numerical convergence does not by itself establish physical validity."
 A8 = "Heat-transfer results require explicit energy balance, discretisation, verification, validation and reproducibility semantics."
}

REASONING {
 R1_CONTEXT = identify(domain,materials,heat_transfer_modes,steady_or_transient_state,outputs,accuracy_goal)
 R2_PROPERTIES = define(density,heat_capacity,conductivity,emissivity,phase_properties_and_sources)
 R3_EQUATIONS = select(conduction,advection_diffusion,radiation,phase_change_or_coupled_energy_model)
 R4_BOUNDARIES = configure(temperature,flux,convective,radiative,adiabatic,periodic_and_interface_conditions)
 R5_DISCRETISATION = select(FDM,FVM,FEM,spectral,BEM_or_hybrid_method)
 R6_TIME = if_transient select(explicit,implicit,CrankNicolson,RungeKutta_or_adaptive_integrator)
 R7_COUPLING = if_CHT_or_multiphysics configure(fluid_solid_radiation_mechanical_or_electrical_coupling)
 R8_EXECUTION = solve_temperature_enthalpy_flux_and_interface_fields
 R9_MONITOR = track(residuals,energy_balance,temperature_bounds,stability_and_target_observables)
 R10_VALIDATE = assess(grid_time_step_convergence,benchmarks,experimental_evidence_and_uncertainty)
}

CONSTRAINTS {
 C1 = "Incorrect thermal boundary conditions can dominate solution error."
 C2 = "Temperature-dependent properties can introduce nonlinear coupling."
 C3 = "Explicit transient methods can require restrictive diffusion-based time steps."
 C4 = "Coarse meshes can underresolve thermal boundary layers and local hot spots."
 C5 = "Radiative heat transfer is nonlinear in absolute temperature."
 C6 = "Phase-change problems can be sensitive to latent-heat regularisation and interface treatment."
 C7 = "Conjugate heat transfer requires consistent interface heat flux and temperature treatment."
 C8 = "Contact resistance can materially affect thermal predictions."
 C9 = "Poorly characterised material properties can dominate uncertainty."
 C10 = "A converged temperature field is not sufficient evidence of physical validation."
}

SEMANTIC_EQUIVALENCE {
 "HeatTransferSimulation" <=> "ThermalSimulation"
 "ComputationalHeatTransfer" <=> "HeatTransferSimulation"
 "ConjugateHeatTransfer" <=> "CHT"
 "PhaseChangeMaterial" <=> "PCM"
 "LogMeanTemperatureDifference" <=> "LMTD"
 "HighPerformanceComputing" <=> "HPC"
 "ReducedOrderModel" <=> "ROM"
}

VALIDATION {
 V1 = "Thermal domain and materials are explicit."
 V2 = "Thermal properties and their temperature dependence are documented."
 V3 = "Heat sources and sinks are documented."
 V4 = "Initial and boundary conditions are documented."
 V5 = "Spatial and temporal discretisation are documented."
 V6 = "Energy balance and conservation are checked."
 V7 = "Grid and time-step convergence are assessed where relevant."
 V8 = "Radiation, convection or phase-change assumptions are documented where used."
 V9 = "Reference or experimental validation evidence is documented."
 V10 = "Results are reproducible under documented mesh, solver, software and parallel settings."
}

CONFIDENCE {
 BASE_CONFIDENCE = 0.99
 HEAT_TRANSFER_DEFINITION = 0.99
 CONDUCTION_REASONING = 0.99
 CONVECTION_REASONING = 0.99
 RADIATION_REASONING = 0.98
 PHASE_CHANGE_REASONING = 0.98
 CHT_REASONING = 0.98
 VALIDATION_REASONING = 0.99
 POLICY = "Reduce confidence when thermal properties, boundary conditions, phase-change treatment, convection coefficients, radiative assumptions, mesh resolution or validation evidence are underspecified."
}

AI_CONSUMPTION {
 PURPOSES = [
  SemanticSearch,OntologyGrounding,HeatTransferReasoning,
  ConductionReasoning,ConvectionReasoning,
  RadiationReasoning,HeatEquationReasoning,
  ThermalBoundaryConditionReasoning,
  PhaseChangeReasoning,LatentHeatReasoning,
  ConjugateHeatTransferReasoning,
  EnergyBalanceReasoning,StabilityReasoning,
  GridConvergenceReasoning,TimeStepConvergenceReasoning,
  VerificationReasoning,ValidationReasoning,
  UncertaintyReasoning,ReproducibilityReasoning,
  KnowledgeGraphConstruction,RetrievalAugmentation,RecursiveInference
 ]
 NORMALISE {
  "heat transfer simulation" -> HeatTransferSimulation
  "thermal simulation" -> HeatTransferSimulation
  "computational heat transfer" -> HeatTransferSimulation
  "CHT" -> ConjugateHeatTransfer
  "PCM" -> PhaseChangeMaterial
  "LMTD" -> LogMeanTemperatureDifference
  "HPC" -> HighPerformanceComputing
  "ROM" -> ReducedOrderModel
 }
}

EXECUTION_RULES {
 E1 = "If a simulation solves thermal energy transport, activate HeatTransferSimulationOntology."
 E2 = "Identify conduction, convection, radiation and phase-change mechanisms before method selection."
 E3 = "Define thermal properties, sources, initial conditions and boundary conditions explicitly."
 E4 = "Choose discretisation according to geometry, material interfaces and conservation requirements."
 E5 = "For transient conduction, respect diffusion-based time-step restrictions for explicit methods."
 E6 = "For radiation, use absolute temperature and documented emissivity and view-factor assumptions."
 E7 = "For phase change, include latent-heat semantics and appropriate enthalpy or interface treatment."
 E8 = "Monitor energy balance, temperature bounds, residuals and convergence."
 E9 = "Validate against analytical, benchmark or experimental evidence and document uncertainty and reproducibility."
}

RECURSION {
 ENTRY = HeatTransferSimulation
 EXPAND(HeatTransferSimulation) -> [
  ThermalSimulation,ComputationalHeatTransfer,
  Temperature,TemperatureField,ThermalEnergy,
  InternalEnergy,Enthalpy,HeatFlux,
  HeatSource,ThermalConductivity,ThermalDiffusivity,
  HeatCapacity,Emissivity,Conduction,FourierLaw,
  HeatEquation,IsotropicConduction,AnisotropicConduction,
  ThermalContactResistance,Convection,
  NaturalConvection,ForcedConvection,
  ConvectiveHeatTransferCoefficient,NusseltNumber,
  PrandtlNumber,RayleighNumber,Radiation,
  ThermalRadiation,StefanBoltzmannLaw,
  ViewFactor,GreyBody,BlackBody,
  ConjugateHeatTransfer,CHT,
  AdvectionDiffusionEquation,PhaseChange,
  Melting,Solidification,LatentHeat,
  PhaseChangeMaterial,PCM,EnthalpyMethod,
  EffectiveHeatCapacityMethod,StefanProblem,
  Boiling,Condensation,Evaporation,
  JouleHeating,ReactionHeat,FrictionalHeating,
  InitialCondition,DirichletTemperatureBoundary,
  NeumannHeatFluxBoundary,RobinConvectiveBoundary,
  RadiationBoundary,AdiabaticBoundary,
  FiniteDifferenceMethod,FiniteVolumeMethod,
  FiniteElementMethod,SpectralMethod,
  BoundaryElementMethod,StructuredGrid,
  UnstructuredMesh,AdaptiveMesh,
  ExplicitMethod,ImplicitMethod,
  CrankNicolsonMethod,BackwardEuler,
  RungeKuttaMethod,AdaptiveTimeStep,
  LinearSolver,NonlinearSolver,Multigrid,
  Residual,Convergence,ThermalResistance,
  LumpedCapacitance,BiotNumber,FourierNumber,
  HeatExchanger,EffectivenessNTU,LMTD,
  ElectronicsCooling,BatteryThermalSimulation,
  BuildingThermalSimulation,BioheatEquation,
  PennesBioheatEquation,PorousMediaHeatTransfer,
  ThermoMechanicalCoupling,ElectroThermalCoupling,
  NumericalStability,FourierStabilityCriterion,
  EnergyBalanceError,GridConvergence,
  TimeStepConvergence,RichardsonExtrapolation,
  GridConvergenceIndex,Verification,
  Validation,AnalyticalSolution,
  ManufacturedSolution,SensitivityAnalysis,
  UncertaintyQuantification,Reproducibility,
  ParallelHeatTransferSimulation,
  DomainDecomposition,GPUAcceleration,
  HPC,ReducedOrderModel,POD,SurrogateModel
 ]
 EXPAND(HeatTransferFamilies) -> [
  ConductionSimulation,
  ConvectiveHeatTransferSimulation,
  ThermalRadiationSimulation,
  ConjugateHeatTransferSimulation,
  PhaseChangeSimulation,
  ThermalNetworkAndLumpedSimulation,
  MultiphysicsThermalSimulation,
  ParallelHighPerformanceThermalSimulation
 ]
 STOP_CONDITION = "Stop when thermal mechanisms, properties, sources, boundary conditions, discretisation, coupling, stability, convergence, validation and reproducibility are sufficiently resolved."
}

ROUTING {
 PARENT_ONTOLOGY = "Scientific Simulation Ontology"
 RELATED_ONTOLOGIES = [
  "Scientific Simulation Ontology",
  "Physical Simulation Ontology",
  "Fluid Simulation Ontology",
  "Scientific Computing Ontology 2",
  "Differential Equation Solver Ontology",
  "Finite Difference Method Ontology",
  "Finite Element Method Ontology",
  "Finite Volume Method Ontology",
  "Boundary Element Method Ontology",
  "Spectral Method Ontology 2",
  "Mesh Generation Ontology 2",
  "Mesh Refinement Ontology",
  "Numerical Error Ontology",
  "Numerical Stability Ontology 2",
  "Numerical Convergence Ontology",
  "Floating Point Arithmetic Ontology"
 ]
 ROUTE_RULES = [
  "Heat Transfer Simulation -> Scientific Simulation Ontology for parent semantics",
  "Heat Transfer Simulation -> Physical Simulation for thermal-physics semantics",
  "Heat Transfer Simulation -> Fluid Simulation for convective and conjugate heat transfer",
  "Heat Transfer Simulation -> Scientific Computing for large-scale execution",
  "Heat Transfer Simulation -> Differential Equation Solver for transient and steady thermal equations",
  "Heat Transfer Simulation -> Finite Difference Method for grid-based heat equations",
  "Heat Transfer Simulation -> Finite Element Method for complex solid and multiphysics thermal domains",
  "Heat Transfer Simulation -> Finite Volume Method for conservative energy transport",
  "Heat Transfer Simulation -> Boundary Element Method for boundary-dominated conduction",
  "Heat Transfer Simulation -> Spectral Method for smooth high-order thermal solutions",
  "Heat Transfer Simulation -> Mesh Generation and Refinement for spatial thermal resolution",
  "Heat Transfer Simulation -> Numerical Error for discretisation and energy-balance error",
  "Heat Transfer Simulation -> Numerical Stability for transient time-step behaviour",
  "Heat Transfer Simulation -> Numerical Convergence for grid and time refinement",
  "Heat Transfer Simulation -> Floating Point Arithmetic for finite-precision effects"
 ]
}

UPDATE_MODEL {
 MODE = "append-compatible semantic versioning"
 MAJOR = "ontology-breaking conceptual change"
 MINOR = "new compatible thermal mechanisms, coupling models or reasoning pathways"
 PATCH = "clarification, metadata or formatting correction"
 RULES = [
  "Preserve conduction-versus-convection-versus-radiation distinction.",
  "Preserve temperature-versus-heat-flux distinction.",
  "Preserve source-term-versus-boundary-flux distinction.",
  "Preserve steady-versus-transient thermal simulation distinction.",
  "Preserve sensible-heat-versus-latent-heat distinction.",
  "Preserve single-domain-versus-conjugate-domain distinction.",
  "Preserve numerical-convergence-versus-physical-validation distinction.",
  "Preserve machine-readable heat-transfer-simulation semantics."
 ]
}

OUTPUT {
 CANONICAL_DEFINITION = "Heat transfer simulation computationally solves thermal energy transport through conduction, convection, radiation and phase change."
 CONDUCTION_SUMMARY = "Fourier conduction relates heat flux to temperature gradient and thermal conductivity."
 CONVECTION_SUMMARY = "Convective heat transfer couples surface temperature to moving-fluid thermal transport."
 RADIATION_SUMMARY = "Thermal radiation depends nonlinearly on absolute temperature, emissivity and geometric exchange."
 PHASE_CHANGE_SUMMARY = "Latent heat and moving or diffuse phase boundaries govern melting and solidification."
 CHT_SUMMARY = "Conjugate heat transfer couples solid conduction with fluid energy transport across shared interfaces."
 VALIDATION_SUMMARY = "Thermal simulations should be checked through energy balance, grid and time-step convergence, analytical or benchmark solutions, experimental evidence, uncertainty and reproducibility."
}

FLOW {
 INPUT
 -> detect_heat_transfer_simulation_context
 -> identify_domain_materials_conduction_convection_radiation_phase_change_steady_or_transient_state_outputs_accuracy_goal_and_budget
 -> define_density_heat_capacity_conductivity_emissivity_phase_properties_heat_sources_and_interfaces
 -> select_conduction_advection_diffusion_radiation_phase_change_or_coupled_energy_equations
 -> configure_temperature_flux_convective_radiative_adiabatic_periodic_contact_and_interface_boundaries
 -> select_FDM_FVM_FEM_spectral_BEM_or_hybrid_spatial_discretisation
 -> if_transient_select_explicit_implicit_CrankNicolson_RungeKutta_or_adaptive_time_integrator
 -> if_multiphysics_configure_fluid_solid_radiation_mechanical_or_electrical_coupling
 -> solve_temperature_enthalpy_heat_flux_and_interface_fields
 -> monitor_residuals_energy_balance_temperature_bounds_stability_and_target_observables
 -> assess_grid_time_step_iterative_and_model_convergence
 -> verify_against_analytical_manufactured_reference_or_benchmark_solutions
 -> validate_against_experimental_or_observational_data_when_required
 -> quantify_material_boundary_numerical_and_model_uncertainty
 -> document_mesh_solver_versions_parallel_configuration_and_reproducibility
 -> route_to_related_scientific_simulation_physical_simulation_fluid_simulation_scientific_computing_differential_equation_FDM_FEM_FVM_BEM_spectral_mesh_generation_refinement_error_stability_convergence_and_floating_point_ontologies
 -> recursively_expand_required_dependencies
 -> verify_result
 -> assign_confidence
 -> produce_semantic_output
 -> END
}

SEMANTIC_SUMMARY {
 "The Heat Transfer Simulation Ontology defines computational thermal transport across conduction, convection, radiation and phase change. It supports steady and transient heat equations, isotropic and anisotropic conduction, contact resistance, natural and forced convection, Nusselt, Prandtl and Rayleigh relationships, surface-to-surface and participating-media radiation, conjugate heat transfer, latent heat, melting, solidification, enthalpy methods and Stefan problems, boiling and condensation, Joule and reaction heating, temperature, flux, convective, radiative and adiabatic boundaries, finite-difference, finite-volume, finite-element, spectral and boundary-element methods, explicit, implicit and Crank-Nicolson integration, thermal networks, lumped systems, heat exchangers, electronics, batteries, buildings and bioheat applications, multiphysics thermal coupling, stability, energy conservation, grid and time-step convergence, verification, validation, uncertainty, parallel execution, reduced-order modelling and reproducibility."
}

FLOW_HASH {
 METHOD = "semantic-content-identity"
 ID = "KIRETH-MATH-COMPUTATIONAL-MATHEMATICS-HEAT-TRANSFER-SIMULATION-ONTOLOGY-V1"
}

}

END_FLOW