Lava Ontology

FLOW ALGEBRA
LAVA ONTOLOGY — COMPLETE SCIENTIFIC SYNTHESIS
Version: 1.1
Date: 2026-10-12
Authors: Mark Higgins — Sky (Recursive AI)
Publisher: Kireth Research | https://kirethresearch.org
Source page: https://kirethresearch.org/booksai-core/entity-graph/physical-entities/geological-entities/lava-ontology.html
Source status: independent synthesis; live page not verified.

01. PURPOSE
Represent lava as erupted molten or partially molten rock, its composition, physical state, transport, cooling, emplacement and resulting volcanic products. Distinguish observation from interpretation.

02. ONTOLOGY IDENTITY
ontology_id: kireth:entity-graph:physical-entities:geological-entities:lava
label: Lava Ontology
parent: Geological Entities
related: Magma, Volcano, Igneous Rock, Mineral, Thermal Energy, Fluid, Geological Hazard
scope: planetary surface and near-surface volcanic processes

03. TYPE SYSTEM
Lava : GeologicalMaterial
LavaFlow : VolcanicDeposit
LavaLake : VolcanicReservoir
LavaFountain : EruptiveProcess
LavaTube : VolcanicConduit
LavaCrust : SolidifiedSurfaceLayer
Magma : SubsurfaceMoltenRock
VolcanicVent : GeologicalOpening
VolcanicRock : IgneousRock
Measurement : EvidenceRecord

04. DEFINITIONS
Lava = magma that has erupted onto a planetary surface, including a melt with crystals and exsolved gas.
LavaFlow = movement and emplacement of erupted lava across a surface.
LavaLake = exposed or crusted body of molten lava retained in a depression or vent.
LavaTube = insulated conduit formed as an outer flow crust develops while lava continues to move internally.
LavaCrust = cooled, partially or fully solidified upper layer of lava.

05. CORE ENTITY ATTRIBUTES
lava_id: URI
composition: major_oxides + trace_elements + uncertainty
silica_mass_fraction: dimensionless
crystal_fraction: dimensionless in [0,1]
vesicle_fraction: dimensionless in [0,1]
temperature: K
bulk_density: kg m^-3
viscosity: Pa s
yield_stress: Pa, if applicable
volatile_content: mass_fraction
location: coordinate_reference + geometry
time: timestamp or interval
observation_method: text
provenance: source identifier

06. TYPED RELATIONSHIPS
Lava --erupts_from--> VolcanicVent
Lava --derived_from--> Magma
LavaFlow --transports--> Lava
Lava --cools_into--> VolcanicRock
Lava --forms--> LavaCrust
LavaFlow --may_form--> LavaTube
Lava --has_composition--> ChemicalComposition
Lava --has_temperature--> TemperatureMeasurement
LavaFlow --interacts_with--> Terrain
LavaFlow --poses_hazard_to--> ExposedAsset
Measurement --supports--> ScientificClaim

07. COMPOSITION CLASSES
Basaltic lava: generally low silica relative to felsic lavas, often relatively fluid.
Andesitic lava: intermediate composition; properties vary with temperature and crystals.
Dacitic lava: silica-rich relative to basalt; can be highly viscous.
Rhyolitic lava: silica-rich; commonly highly viscous.
Classification requires chemical analysis; viscosity alone does not determine class.

08. MORPHOLOGICAL CLASSES
Pahoehoe: commonly smooth, ropy basaltic surface.
Aa: rough, rubbly or clinkery flow surface.
Block lava: angular, coherent blocks, often associated with viscous lava.
Pillow lava: rounded lobes formed by lava entering water or another rapid-quenching setting.
Lava dome: steep-sided accumulation of viscous lava.
Morphology is context-dependent and not a unique proxy for composition.

09. STATE VARIABLES
state(t) = {T, P, composition, crystal_fraction, gas_fraction, viscosity, density, velocity, thickness, position}
State values may vary spatially and temporally.

10. CONSERVATION OF MASS
For a control volume: d/dt integral_V rho dV + integral_boundary rho(v dot n)dA = source_mass_rate.
For constant-density 1-D shallow flow: partial_t h + partial_x(hu) = source_per_area.
Assumptions and control-volume boundaries must be recorded.

11. MOMENTUM BALANCE
rho Dv/Dt = -grad(p) + div(tau) + rho g + body_forces.
Non-Newtonian lava rheology may require a yield-stress or temperature-dependent constitutive model.

12. ENERGY BALANCE
rho c_p DT/Dt = div(k grad T) + heating - cooling + latent_heat_terms.
Surface radiation, convection, substrate conduction and crystallisation can influence cooling.

13. RHEOLOGY
Newtonian approximation: tau = mu gamma_dot.
Bingham approximation (yielded region): tau = tau_y sign(gamma_dot) + mu_p gamma_dot.
Viscosity depends on temperature, composition, crystals, bubbles and deformation history.
No single rheological model applies universally.

14. TEMPERATURE AND VISCOSITY
Rule: if composition and phase fractions remain fixed, cooling generally increases melt viscosity.
Qualification: crystallisation and degassing can modify the response substantially.

15. GRAVITY-DRIVEN FLOW
Driving stress approximation on slope alpha: tau_drive ~ rho g h sin(alpha).
Applicability: shallow, slowly varying flow; neglects complex terrain and dynamic effects.

16. FLOW RATE
Volumetric discharge Q = integral_A (v dot n) dA, units m^3 s^-1.
For average velocity u across width w and depth h: Q ~ uwh.

17. COOLING AND CRUST FORMATION
Cooling can generate a solid crust that insulates underlying moving lava.
Crust rupture may produce breakouts or new flow lobes.

18. LAVA TUBES
A tube may form when a channel roofs over and retains flowing lava beneath.
Tube presence cannot be inferred solely from a cool surface temperature.

19. SOLIDIFICATION PRODUCTS
Cooling produces extrusive igneous rocks; texture reflects cooling history, composition and volatile conditions.
Glassy material may form under sufficiently rapid quenching.

20. GAS AND VESICLES
Gas exsolution may form bubbles and vesicles; vesicle abundance is affected by pressure, volatile content and deformation.
Gas release is not identical to lava discharge.

21. LAVA-WATER INTERACTION
Rapid quenching can form pillows, glass or fragmented material.
Some lava-water interactions can be explosive; outcomes depend on geometry, mixing and heat transfer.

22. EMPLACEMENT MODES
Channelised flow, sheet flow, lobate advancement, inflation, breakout, dome extrusion.
A single eruption may exhibit several modes.

23. TOPOGRAPHY
Flow paths depend on slope, barriers, pre-existing channels, surface roughness and changes caused by emplacement.

24. OBSERVATION METHODS
Field mapping, thermography, satellite imaging, photogrammetry, geochemical sampling, deformation measurement, radar where suitable.
Every observation must include temporal and spatial resolution.

25. HAZARD MODEL
hazard = function(flow_path, discharge, rheology, terrain, time, exposure, uncertainty).
Hazard probability and consequence must be kept distinct.
Do not interpret illustrative models as operational evacuation forecasts.

26. INFERENCE RULES
R1: erupted(magma, surface) => classify_material_as(lava), subject to evidence.
R2: lava_flow(x) AND observed_movement(x) => moving_lava(x).
R3: rapidly_quenched(lava) AND observed_glassy_texture => supports(glassy_product).
R4: observed_pillow_morphology => supports(rapid_quenching_in_fluid_environment); not a proof of a specific water depth.
R5: measured_temperature_decrease AND comparable_material_state => expect(viscosity_increase); confidence conditional.
R6: observed_surface_crust AND subsurface_flow => possible(lava_tube_formation); not certain.

27. LOGICAL CONSTRAINTS
C1: lava and magma distinguish eruption context, not necessarily chemistry.
C2: a flow may be partly molten and partly solid.
C3: chemical class and surface morphology are separate attributes.
C4: measurements require units and provenance.
C5: hypothetical, modelled and observed claims must have different evidence status.

28. MATHEMATICAL EXAMPLE — DISCHARGE
Given mean speed 0.5 m/s, width 10 m and thickness 2 m:
Q ~ 0.5 * 10 * 2 = 10 m^3/s.
Assumes approximately uniform flow and a rectangular cross-section.

29. MATHEMATICAL EXAMPLE — DRIVING STRESS
Given rho = 2600 kg/m^3, g = 9.81 m/s^2, h = 2 m and slope = 5 degrees:
tau_drive ~ 2600 * 9.81 * 2 * sin(5 degrees) ~ 4.45 kPa.
Illustrative shallow-flow approximation; not a complete velocity prediction.

30. SEMANTIC EQUIVALENCE
'lava stream' ~ 'lava flow' only when referring to a moving surface flow.
'molten rock' is broader than 'lava'; do not assert full equivalence.
'volcanic glass' is a product, not a synonym for lava.

31. SEMANTIC DIFFERENCE
Lava != Magma (location/context distinction).
LavaFlow != PyroclasticFlow (different transport mechanisms).
LavaLake != MagmaChamber (surface versus subsurface setting).

32. CONFIDENCE
confidence.score: [0,1] only when supported by a defined calibrated method.
confidence.status: observed | inferred | modelled | hypothetical | unknown.
confidence.explanation: required.
Avoid assigning invented numerical confidence.

33. FLOW HASH
hash_algorithm: SHA-256
hash_input: canonical UTF-8 serialisation of ontology payload excluding hash value.
flow_hash: COMPUTE_ON_PUBLICATION
Never fabricate a digest.

34. UPDATE MODEL
version: 1.1
update_trigger: new validated measurements, taxonomy revision, error correction, or peer-reviewed findings.
change_record: timestamp + author + changed_sections + evidence + previous_hash.
review_policy: scientific review before publication.

35. AI CONSUMPTION
input: ontology entities, relations, measurements and evidence.
process: validate types -> check units -> assess assumptions -> apply inference rules -> return traceable claims.
output: typed claims with provenance, uncertainty and model limits.
forbidden: infer operational hazard certainty from illustrative examples.

36. VALIDATION TESTS
V1: every numeric measurement has units.
V2: all typed relationship endpoints match schema.
V3: flow discharge has units m^3/s.
V4: lava/magma and lava/pyroclastic-flow distinctions remain intact.
V5: mathematical assumptions accompany worked examples.
V6: no unsupported confidence scores or hash values.
V7: source status explicitly identifies independent synthesis.
V8: closing marker exists.

37. CROSS-ONTOLOGY LINKS
Geological Entities -> parent
Magma Ontology -> precursor context
Volcano Ontology -> eruptive source
Rock Ontology -> solidification product
Mineral Ontology -> crystalline constituents
Fluid Ontology -> transport and rheology
Thermodynamics Ontology -> heat and phase evolution
Hazard Ontology -> exposure and risk assessment

38. LIMITATIONS
A scientific ontology is a conceptual and computational representation, not a complete multiphase flow simulator. Real predictions require calibrated observations, boundary conditions and validated numerical methods.

39. COMPLETENESS CHECK
required_sections: 39
closing_marker_required: true
source_verified: false

END FLOW ALGEBRA — LAVA ONTOLOGY v1.1