Physical Simulation Ontology

AI INTERPRETATION NOTE
This Flow Algebra defines the Physical Simulation Ontology within the Kireth Research Semantic Library. Physical simulation is the computational modelling and execution of systems governed by physical laws, including mechanics, fluids, heat transfer, electromagnetism, waves, particles, rigid and deformable bodies, multiphysics coupling, numerical discretisation, conservation laws, stability, verification, validation, uncertainty and reproducibility.

FLOW_ALGEBRA_RECORD {

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

IDENTITY {
 PRIMARY_ENTITY = PhysicalSimulation
 ENTITY_CLASS = PhysicsBasedComputationalSimulationFramework
 PRIMARY_CONTEXT = ScientificSimulation
 DEFINITION = "Physical simulation is the computational execution of mathematical models governed by physical laws in order to reproduce, predict or analyse the behaviour of physical systems."
 SYMBOLIC_FORMS = [
  "state_(n+1)=PhysicsSolver(state_n,forces,parameters,dt)",
  "F=m*a",
  "rho*(du/dt + u·grad u)=-grad p + mu*laplacian(u)+f",
  "dE/dt = flux + source",
  "div F + source = storage"
 ]
 SEMANTIC_ROLE = "Provides machine-readable semantics for physical laws, state evolution, conservation equations, constitutive relations, forces, fields, numerical discretisation, coupling, validation and reproducibility."
}

SCOPE {
 INCLUDE = [
  PhysicalSimulation,PhysicsSimulation,PhysicsBasedSimulation,
  ComputationalPhysics,PhysicalModel,PhysicalSystem,
  StateVariable,StateVector,PhysicalParameter,
  MaterialParameter,InitialCondition,BoundaryCondition,
  GoverningEquation,ConservationLaw,ConstitutiveLaw,
  BalanceLaw,SourceTerm,Flux,Field,ScalarField,
  VectorField,TensorField,Force,ForceField,
  Energy,Momentum,Mass,Charge,AngularMomentum,
  ConservationOfMass,ConservationOfMomentum,
  ConservationOfEnergy,ConservationOfCharge,
  NewtonianMechanics,ClassicalMechanics,
  RigidBodyDynamics,RigidBodySimulation,
  TranslationalMotion,RotationalMotion,
  Position,Velocity,Acceleration,
  Orientation,AngularVelocity,AngularAcceleration,
  Mass,InertiaTensor,CentreOfMass,
  Force,Torque,Impulse,ConstraintForce,
  ContactForce,FrictionForce,Gravity,
  CollisionDetection,CollisionResponse,
  ContactConstraint,JointConstraint,
  MultibodyDynamics,ArticulatedBody,
  DeformableBodySimulation,SolidMechanics,
  ContinuumMechanics,Elasticity,Plasticity,
  Viscoelasticity,Hyperelasticity,
  Stress,Strain,DeformationGradient,
  ConstitutiveModel,MaterialModel,
  FiniteStrain,SmallStrain,
  StructuralDynamics,Vibration,
  ModalAnalysis,WavePropagation,
  FluidSimulation,ComputationalFluidDynamics,CFD,
  FluidDynamics,IncompressibleFlow,CompressibleFlow,
  NavierStokesEquation,EulerEquations,
  ContinuityEquation,MomentumEquation,
  Pressure,VelocityField,Density,Viscosity,
  Turbulence,TurbulenceModel,LES,RANS,DNS,
  Advection,Diffusion,Convection,
  FreeSurfaceFlow,MultiphaseFlow,
  LevelSetMethod,VolumeOfFluid,VOF,
  HeatTransfer,ThermalSimulation,
  HeatEquation,Conduction,ConvectionHeatTransfer,
  RadiationHeatTransfer,TemperatureField,
  ThermalConductivity,HeatCapacity,HeatFlux,
  ElectromagneticSimulation,Electromagnetism,
  MaxwellEquations,ElectricField,MagneticField,
  ElectricPotential,MagneticPotential,
  ChargeDensity,CurrentDensity,
  Electrostatics,Magnetostatics,
  WaveSimulation,AcousticSimulation,
  Acoustics,SoundPressure,HelmholtzEquation,
  ElectromagneticWave,ElasticWave,
  ParticleSimulation,ParticleDynamics,
  MolecularDynamics,DiscreteElementMethod,DEM,
  SmoothedParticleHydrodynamics,SPH,
  ParticleInCell,PIC,
  NBodySimulation,GravitationalNBody,
  ChargedParticleSimulation,
  LatticeBoltzmannMethod,LBM,
  CellularPhysicsModel,
  MultiphysicsSimulation,CoupledPhysics,
  FluidStructureInteraction,FSI,
  ThermoMechanicalCoupling,
  ElectroThermalCoupling,
  Magnetohydrodynamics,MHD,
  ReactionTransport,
  OneWayCoupling,TwoWayCoupling,
  StrongCoupling,WeakCoupling,
  PartitionedCoupling,MonolithicCoupling,
  TimeIntegration,ExplicitTimeIntegration,
  ImplicitTimeIntegration,SymplecticIntegrator,
  EulerMethod,RungeKuttaMethod,
  VerletIntegration,VelocityVerlet,
  NewmarkMethod,GeneralisedAlphaMethod,
  AdaptiveTimeStep,FixedTimeStep,
  SpatialDiscretisation,FiniteDifferenceMethod,
  FiniteElementMethod,FiniteVolumeMethod,
  SpectralMethod,BoundaryElementMethod,
  Mesh,Grid,ParticleSet,
  EulerianMethod,LagrangianMethod,
  ArbitraryLagrangianEulerian,ALE,
  Solver,LinearSolver,NonlinearSolver,
  IterativeSolver,DirectSolver,
  PressureSolver,PoissonSolver,
  ConstraintSolver,ContactSolver,
  Stability,CFLCondition,CourantNumber,
  ConservationError,EnergyDrift,
  NumericalDamping,NumericalDispersion,
  ArtificialViscosity,Stabilisation,
  ShockCapturing,Upwinding,
  TimeStepRestriction,
  NumericalError,DiscretisationError,
  TruncationError,RoundOffError,
  ModelFormError,ParameterError,
  Verification,CodeVerification,
  SolutionVerification,Validation,
  ExperimentalValidation,
  Benchmark,ReferenceSolution,
  ManufacturedSolution,PatchTest,
  GridConvergence,TimeStepConvergence,
  RichardsonExtrapolation,
  UncertaintyQuantification,SensitivityAnalysis,
  Calibration,ParameterEstimation,
  ExperimentalData,MeasurementData,
  Reproducibility,RandomSeed,
  Provenance,Configuration,Versioning,
  Checkpoint,Restart,
  ParallelSimulation,DistributedSimulation,
  DomainDecomposition,LoadBalancing,
  GPUAcceleration,HighPerformanceComputing,HPC,
  RealTimePhysics,InteractiveSimulation,
  ReducedOrderModel,SurrogateModel,
  DigitalTwinRelationship,
  Visualisation,Postprocessing,
  PhysicalInvariant,ConservationCheck
 ]
 EXCLUDE_AS_PRIMARY = [
  PureMathematicalSimulationWithoutPhysicalLawSemantics,
  StatisticalSimulationWithoutPhysicalStateEvolution,
  RenderingWithoutPhysicalModelExecution,
  CollisionDetectionWithoutPhysicalDynamicsOrResponse
 ]
 DISAMBIGUATION_RULE = "When computational simulation is governed by explicit physical laws, forces, fields, constitutive relations or conservation principles, interpret the context as physical simulation."
}

CORE_CONCEPTS {
 PhysicalSimulation = "Computational execution of physics-based models."
 PhysicalLaw = "Mathematical relation expressing behaviour of a physical system."
 ConservationLaw = "Balance principle preserving or accounting for a physical quantity."
 StateVariable = "Quantity describing the physical state of the system."
 Force = "Interaction producing acceleration or deformation."
 Field = "Spatially distributed physical quantity."
 ConstitutiveLaw = "Material-specific relation closing the governing equations."
 TimeIntegrator = "Numerical method advancing the physical state through time."
}

RELATIONS {
 PhysicalSimulation --is_child_of--> ScientificSimulation
 PhysicalSimulation --executes--> PhysicalModel
 PhysicalModel --uses--> PhysicalLaw
 PhysicalModel --has--> StateVariable
 PhysicalModel --has--> PhysicalParameter
 ConservationLaw --governs--> PhysicalQuantity
 ConstitutiveLaw --relates--> PhysicalFields
 Force --changes--> Momentum
 Torque --changes--> AngularMomentum
 RigidBodyDynamics --uses--> MassAndInertia
 DeformableBodySimulation --uses--> StressStrainRelation
 FluidSimulation --uses--> NavierStokesEquation
 HeatTransfer --uses--> HeatEquation
 ElectromagneticSimulation --uses--> MaxwellEquations
 MultiphysicsSimulation --couples--> PhysicalSubsystems
 CollisionDetection --supports--> ContactResponse
 TimeIntegration --advances--> PhysicalState
 Verification --checks--> NumericalPhysicsImplementation
 Validation --compares--> SimulationWithPhysicalEvidence
}

OPERATORS {
 ADVANCE_PHYSICS(state,dt) := integrate_governing_equations(state,dt)
 FORCE_BALANCE(m,a,F) := m*a-F
 MOMENTUM_UPDATE(p,F,dt) := p_next=p+F*dt
 POSITION_UPDATE(x,v,dt) := x_next=x+v*dt
 ENERGY_BALANCE(E,flux,source,dt) := E_next=E+dt*(flux+source)
 CONSERVATION_RESIDUAL(quantity,inflow,outflow,source,storage) := storage-(inflow-outflow+source)
 COUPLE(subsystem_A,subsystem_B) := exchange_interface_state_and_fluxes
 VALIDATE(simulation,experiment) := declared_physical_comparison_metric
}

AXIOMS {
 A1 = "Physical simulation is constrained by declared physical laws and constitutive assumptions."
 A2 = "Conservation laws provide central invariants and balance checks."
 A3 = "Numerical stability and physical fidelity are distinct but both necessary."
 A4 = "Constitutive models determine material-specific behaviour."
 A5 = "Contact, friction and collision response require explicit interaction models."
 A6 = "Multiphysics simulation requires consistent exchange of coupled quantities."
 A7 = "Verification does not replace experimental or observational validation."
 A8 = "Physical-simulation results require explicit physics, numerical, conservation and reproducibility semantics."
}

REASONING {
 R1_CONTEXT = identify(physical_system,physics_domains,state_variables,parameters,outputs,accuracy_goal)
 R2_LAWS = define(conservation_laws,governing_equations,constitutive_relations,forces_and_sources)
 R3_DOMAIN = define(geometry,mesh_or_particles,initial_conditions_and_boundary_conditions)
 R4_DISCRETISATION = select(Eulerian,Lagrangian,ALE,finite_difference,FEM,FVM,spectral,particle_or_hybrid_method)
 R5_TIME = select(explicit,implicit,symplectic,RungeKutta,Verlet,Newmark_or_adaptive_integrator)
 R6_COUPLING = if_multiphysics configure(monolithic,partitioned,strong_or_weak_coupling)
 R7_EXECUTION = advance_state_and_solve_constraints_fields_contacts_and_fluxes
 R8_MONITOR = track(conservation,residuals,stability,CFL,energy_drift_and_physical_bounds)
 R9_VERIFICATION = compare(benchmarks,manufactured_solutions,refinement_and_invariants)
 R10_VALIDATION = compare_with_experimental_or_observational_evidence_and_document_uncertainty
}

CONSTRAINTS {
 C1 = "A numerically stable simulation can still be physically inaccurate."
 C2 = "Violating conservation laws can indicate discretisation, coupling or implementation error."
 C3 = "Explicit methods can require severe time-step restrictions."
 C4 = "Contact stiffness and penalty parameters can introduce numerical instability."
 C5 = "Constitutive models are valid only within their calibrated physical regimes."
 C6 = "Turbulence, shocks and discontinuities require specialised numerical treatment."
 C7 = "Strong multiphysics coupling can require nonlinear or iterative interface convergence."
 C8 = "Poor mesh quality can degrade physical-solution accuracy and solver conditioning."
 C9 = "Parallel execution can introduce small nondeterministic floating-point differences."
 C10 = "Visual realism is not equivalent to scientific validity."
}

SEMANTIC_EQUIVALENCE {
 "PhysicalSimulation" <=> "PhysicsSimulation"
 "ComputationalFluidDynamics" <=> "CFD"
 "SmoothedParticleHydrodynamics" <=> "SPH"
 "DiscreteElementMethod" <=> "DEM"
 "ParticleInCell" <=> "PIC"
 "LatticeBoltzmannMethod" <=> "LBM"
 "ArbitraryLagrangianEulerian" <=> "ALE"
 "HighPerformanceComputing" <=> "HPC"
}

VALIDATION {
 V1 = "Physical laws and governing equations are explicit."
 V2 = "Material and constitutive models are documented."
 V3 = "Initial and boundary conditions are documented."
 V4 = "Discretisation and time-integration methods are documented."
 V5 = "Conservation and invariant checks are performed where applicable."
 V6 = "Grid, particle or time-step convergence is assessed where relevant."
 V7 = "Verification benchmarks or reference solutions are documented."
 V8 = "Experimental or observational validation is documented where physical claims are made."
 V9 = "Uncertainty and parameter sensitivity are assessed where material."
 V10 = "Results are reproducible under documented configuration, software and arithmetic settings."
}

CONFIDENCE {
 BASE_CONFIDENCE = 0.99
 PHYSICAL_SIMULATION_DEFINITION = 0.99
 CONSERVATION_REASONING = 0.99
 RIGID_BODY_REASONING = 0.99
 FLUID_REASONING = 0.98
 SOLID_MECHANICS_REASONING = 0.98
 MULTIPHYSICS_REASONING = 0.97
 VALIDATION_REASONING = 0.99
 POLICY = "Reduce confidence when governing laws, constitutive assumptions, boundary conditions, discretisation, coupling, convergence or validation evidence are underspecified."
}

AI_CONSUMPTION {
 PURPOSES = [
  SemanticSearch,OntologyGrounding,PhysicalSimulationReasoning,
  ConservationLawReasoning,RigidBodyReasoning,
  SolidMechanicsReasoning,FluidSimulationReasoning,
  HeatTransferReasoning,ElectromagneticSimulationReasoning,
  WaveSimulationReasoning,ParticleSimulationReasoning,
  MultiphysicsReasoning,ContactReasoning,
  TimeIntegrationReasoning,StabilityReasoning,
  VerificationReasoning,ValidationReasoning,
  UncertaintyReasoning,ReproducibilityReasoning,
  KnowledgeGraphConstruction,RetrievalAugmentation,RecursiveInference
 ]
 NORMALISE {
  "physical simulation" -> PhysicalSimulation
  "physics simulation" -> PhysicalSimulation
  "CFD" -> ComputationalFluidDynamics
  "SPH" -> SmoothedParticleHydrodynamics
  "DEM" -> DiscreteElementMethod
  "PIC" -> ParticleInCell
  "LBM" -> LatticeBoltzmannMethod
  "ALE" -> ArbitraryLagrangianEulerian
  "HPC" -> HighPerformanceComputing
 }
}

EXECUTION_RULES {
 E1 = "If a simulation is governed by explicit physical laws, activate PhysicalSimulationOntology."
 E2 = "Define physical state, material parameters, governing laws, sources and constraints before numerical execution."
 E3 = "Choose spatial and temporal discretisation compatible with the governing equations."
 E4 = "Monitor conservation laws, physical bounds and numerical stability throughout execution."
 E5 = "Use specialised methods for shocks, contact, turbulence, phase interfaces or stiff coupling."
 E6 = "For multiphysics systems, define exchanged interface variables and coupling iteration explicitly."
 E7 = "Separate numerical verification from experimental or observational validation."
 E8 = "Quantify numerical, model and parameter uncertainty when relevant."
 E9 = "Document configuration, solver versions, meshes, seeds and provenance for reproducibility."
}

RECURSION {
 ENTRY = PhysicalSimulation
 EXPAND(PhysicalSimulation) -> [
  PhysicsSimulation,PhysicsBasedSimulation,ComputationalPhysics,
  PhysicalModel,PhysicalSystem,StateVariable,PhysicalParameter,
  MaterialParameter,InitialCondition,BoundaryCondition,
  GoverningEquation,ConservationLaw,ConstitutiveLaw,
  SourceTerm,Flux,Field,ScalarField,VectorField,TensorField,
  Force,Energy,Momentum,Mass,Charge,AngularMomentum,
  ConservationOfMass,ConservationOfMomentum,
  ConservationOfEnergy,NewtonianMechanics,
  RigidBodyDynamics,Position,Velocity,Acceleration,
  Orientation,AngularVelocity,Mass,InertiaTensor,
  Force,Torque,Impulse,ContactForce,FrictionForce,Gravity,
  CollisionDetection,CollisionResponse,ContactConstraint,
  MultibodyDynamics,DeformableBodySimulation,
  SolidMechanics,ContinuumMechanics,Elasticity,
  Plasticity,Viscoelasticity,Stress,Strain,
  DeformationGradient,ConstitutiveModel,
  StructuralDynamics,Vibration,FluidSimulation,
  ComputationalFluidDynamics,CFD,NavierStokesEquation,
  IncompressibleFlow,CompressibleFlow,Pressure,
  VelocityField,Density,Viscosity,Turbulence,
  Advection,Diffusion,FreeSurfaceFlow,MultiphaseFlow,
  HeatTransfer,ThermalSimulation,HeatEquation,
  TemperatureField,ElectromagneticSimulation,
  MaxwellEquations,ElectricField,MagneticField,
  WaveSimulation,AcousticSimulation,ParticleSimulation,
  MolecularDynamics,DiscreteElementMethod,DEM,
  SmoothedParticleHydrodynamics,SPH,ParticleInCell,PIC,
  NBodySimulation,LatticeBoltzmannMethod,LBM,
  MultiphysicsSimulation,FluidStructureInteraction,
  ThermoMechanicalCoupling,Magnetohydrodynamics,
  TimeIntegration,ExplicitTimeIntegration,
  ImplicitTimeIntegration,SymplecticIntegrator,
  EulerMethod,RungeKuttaMethod,VerletIntegration,
  NewmarkMethod,AdaptiveTimeStep,SpatialDiscretisation,
  FiniteDifferenceMethod,FiniteElementMethod,
  FiniteVolumeMethod,SpectralMethod,BoundaryElementMethod,
  EulerianMethod,LagrangianMethod,ALE,
  LinearSolver,NonlinearSolver,PressureSolver,
  ConstraintSolver,CFLCondition,NumericalStability,
  ConservationError,EnergyDrift,NumericalDispersion,
  ArtificialViscosity,ShockCapturing,
  NumericalError,Verification,Validation,
  Benchmark,ReferenceSolution,ManufacturedSolution,
  GridConvergence,TimeStepConvergence,
  UncertaintyQuantification,SensitivityAnalysis,
  Calibration,ExperimentalData,Reproducibility,
  ParallelSimulation,DomainDecomposition,
  GPUAcceleration,HPC,ReducedOrderModel,
  PhysicalInvariant,ConservationCheck
 ]
 EXPAND(PhysicalSimulationFamilies) -> [
  RigidBodyAndMultibodySimulation,
  SolidAndStructuralSimulation,
  FluidAndCFDSimulation,
  ThermalSimulation,
  ElectromagneticAndWaveSimulation,
  ParticleAndMolecularSimulation,
  MultiphysicsSimulation,
  ParallelAndHighPerformancePhysicalSimulation
 ]
 STOP_CONDITION = "Stop when physics laws, state, parameters, geometry, discretisation, time integration, coupling, stability, verification, validation and reproducibility are sufficiently resolved."
}

ROUTING {
 PARENT_ONTOLOGY = "Scientific Simulation Ontology"
 RELATED_ONTOLOGIES = [
  "Scientific Simulation Ontology",
  "Scientific Simulation",
  "Scientific Computing Ontology 2",
  "Computational Modelling Ontology",
  "Differential Equation Solver Ontology",
  "Finite Difference Method Ontology",
  "Finite Element Method Ontology",
  "Boundary Element Method Ontology",
  "Spectral Method Ontology 2",
  "Collision Detection Ontology 2",
  "Numerical Error Ontology",
  "Numerical Stability Ontology 2",
  "Numerical Convergence Ontology",
  "Floating Point Arithmetic Ontology"
 ]
 ROUTE_RULES = [
  "Physical Simulation -> Scientific Simulation Ontology for parent semantics",
  "Physical Simulation -> Scientific Computing for scalable implementation",
  "Physical Simulation -> Computational Modelling for physical-model semantics",
  "Physical Simulation -> Differential Equation Solver for time and field evolution",
  "Physical Simulation -> Finite Difference Method for grid-based discretisation",
  "Physical Simulation -> Finite Element Method for structural and continuum mechanics",
  "Physical Simulation -> Boundary Element Method for boundary-integral physics",
  "Physical Simulation -> Spectral Method for high-order field simulation",
  "Physical Simulation -> Collision Detection for contact geometry",
  "Physical Simulation -> Numerical Error for discretisation and conservation error",
  "Physical Simulation -> Numerical Stability for CFL and time-step behaviour",
  "Physical Simulation -> Numerical Convergence for refinement studies",
  "Physical Simulation -> Floating Point Arithmetic for finite-precision effects"
 ]
}

UPDATE_MODEL {
 MODE = "append-compatible semantic versioning"
 MAJOR = "ontology-breaking conceptual change"
 MINOR = "new compatible physics domains, coupling methods or reasoning pathways"
 PATCH = "clarification, metadata or formatting correction"
 RULES = [
  "Preserve physical-law-versus-numerical-method distinction.",
  "Preserve state-variable-versus-material-parameter distinction.",
  "Preserve conservation-law-versus-constitutive-law distinction.",
  "Preserve detection-versus-response distinction for contact.",
  "Preserve single-physics-versus-multiphysics distinction.",
  "Preserve numerical-verification-versus-physical-validation distinction.",
  "Preserve numerical-error-versus-model-form-error distinction.",
  "Preserve machine-readable physical-simulation semantics."
 ]
}

OUTPUT {
 CANONICAL_DEFINITION = "Physical simulation computationally evolves models governed by physical laws, constitutive relations and conservation principles."
 MECHANICS_SUMMARY = "Rigid, multibody and deformable mechanics evolve positions, velocities, forces, torques, stresses and strains."
 FIELD_SUMMARY = "Fluid, thermal, electromagnetic and wave simulations solve spatially distributed field equations."
 PARTICLE_SUMMARY = "Particle, molecular and discrete-element methods model systems through interacting particles or bodies."
 COUPLING_SUMMARY = "Multiphysics simulation exchanges fields, fluxes, forces or interface conditions between physical subsystems."
 STABILITY_SUMMARY = "Time-step restrictions, CFL conditions, contact stiffness and nonlinear coupling affect numerical stability."
 VALIDATION_SUMMARY = "Physical simulations should be checked through conservation laws, refinement, benchmark verification, experimental validation, uncertainty analysis and reproducibility."
}

FLOW {
 INPUT
 -> detect_physical_simulation_context
 -> identify_physical_system_domains_state_variables_parameters_outputs_accuracy_goal_and_validation_requirements
 -> define_conservation_laws_governing_equations_constitutive_models_forces_sources_and_constraints
 -> define_geometry_mesh_grid_particles_initial_conditions_and_boundary_conditions
 -> select_Eulerian_Lagrangian_ALE_finite_difference_FEM_FVM_spectral_particle_or_hybrid_discretisation
 -> select_explicit_implicit_symplectic_RungeKutta_Verlet_Newmark_or_adaptive_time_integrator
 -> if_multiphysics_configure_monolithic_partitioned_strong_or_weak_coupling
 -> solve_fields_constraints_contacts_fluxes_and_state_updates
 -> monitor_residuals_CFL_conservation_energy_drift_physical_bounds_and_failures
 -> assess_grid_particle_time_step_and_iterative_convergence
 -> verify_against_manufactured_reference_benchmark_or_invariant_evidence
 -> validate_against_experimental_or_observational_data_when_required
 -> quantify_numerical_parameter_and_model_uncertainty
 -> document_configuration_versions_meshes_seeds_provenance_and_reproducibility
 -> route_to_related_scientific_simulation_scientific_computing_modelling_differential_equation_FDM_FEM_BEM_spectral_collision_error_stability_convergence_and_floating_point_ontologies
 -> recursively_expand_required_dependencies
 -> verify_result
 -> assign_confidence
 -> produce_semantic_output
 -> END
}

SEMANTIC_SUMMARY {
 "The Physical Simulation Ontology defines computational execution of physics-based models across rigid-body and multibody dynamics, deformable solids, structural mechanics, continuum mechanics, fluid dynamics and CFD, heat transfer, electromagnetism, acoustics and wave propagation, particle and molecular methods, discrete-element, SPH, particle-in-cell, N-body and lattice-Boltzmann approaches, multiphysics coupling, contact and friction, finite-difference, finite-element, finite-volume, spectral and boundary-element discretisation, Eulerian, Lagrangian and ALE frames, explicit, implicit, symplectic, Runge-Kutta, Verlet and Newmark integration, CFL and stability controls, conservation checks, verification, experimental validation, uncertainty, parallel execution, reduced-order modelling and reproducibility."
}

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

}

END_FLOW