Mountain Ontology

FLOW ALGEBRA
MOUNTAIN ONTOLOGY
Kireth Semantic Library | Entity Graph > Physical Entities > Geological Entities
Version: 1.1 | Date: 2026-10-12 | Locale: en-GB
Authors: Mark Higgins — Sky (Recursive AI)
Source URL: https://kirethresearch.org/booksai-core/entity-graph/physical-entities/geological-entities/mountain-ontology.html
Source status: Independent scientific synthesis; source webpage not independently verified.

01. PURPOSE
Represent mountains as geomorphic landforms with typed geological, spatial, temporal, process and measurement relationships. Distinguish measured facts from hypotheses and context-dependent classifications.

02. ENTITY DECLARATION
ENTITY Mountain <: GeologicalLandform
FIELDS: id:URI, name:String?, geometry:Geometry?, summit:Point3D?, summit_elevation:Quantity<metre>?, base_definition:Method?, prominence:Quantity<metre>?, isolation:Quantity<metre>?, lithology:Set<RockType>, origin:Set<FormationProcess>, age:TimeInterval?, confidence:Probability?, provenance:SourceRef.

03. RELATED ENTITY TYPES
ENTITY Summit <: TopographicFeature
ENTITY Ridge <: TopographicFeature
ENTITY Slope <: TopographicFeature
ENTITY Valley <: TopographicFeature
ENTITY MountainRange <: LandformGroup
ENTITY TectonicPlate <: GeologicalEntity
ENTITY Fault <: GeologicalStructure
ENTITY Fold <: GeologicalStructure
ENTITY Volcano <: GeologicalLandform
ENTITY Glacier <: CryosphericEntity
ENTITY Watershed <: HydrologicalEntity
ENTITY RockUnit <: GeologicalMaterialBody
ENTITY Observation <: EvidenceRecord
ENTITY ElevationModel <: GeospatialDataset

04. CORE RELATIONSHIP SIGNATURES
REL hasSummit: Mountain x Summit -> Boolean
REL partOfRange: Mountain x MountainRange -> Boolean
REL hasSlope: Mountain x Slope -> Boolean
REL hasRidge: Mountain x Ridge -> Boolean
REL composedOf: Mountain x RockUnit -> Boolean
REL formedBy: Mountain x FormationProcess -> Boolean
REL affectedBy: Mountain x GeologicalProcess -> Boolean
REL intersectsFault: Mountain x Fault -> Boolean
REL drainsTo: Slope x Watershed -> Boolean
REL measuredBy: Quantity x Observation -> Boolean
REL locatedIn: Mountain x GeographicRegion -> Boolean
REL temporallyPrecedes: GeologicalEvent x GeologicalEvent -> Boolean

05. CLASSIFICATION
CLASS OrogenicMountain: uplift linked to crustal shortening or orogenesis
CLASS VolcanicMountain: constructed predominantly by volcanic deposition or intrusion and erosion
CLASS FaultBlockMountain: relief associated with fault displacement and differential uplift
CLASS DomeMountain: domal uplift with structural or magmatic causes
CLASS ErosionalMountain: residual high relief substantially shaped by differential erosion
NOTE: classes may overlap; classification is evidence-dependent rather than exclusive.

06. GEOMETRIC MODEL
Let surface elevation be z(x,y) over a horizontal coordinate domain D.
A summit is a local maximum of z at a specified spatial resolution.
Elevation H = z(summit) - z(reference_datum) when z uses an absolute datum.
Relief R(D) = max_D z - min_D z.
Topographic prominence P = summit elevation - key-col elevation.
Topographic isolation I = minimum horizontal distance to terrain with elevation strictly greater than the summit, under an explicit convention for ties.
Do not equate elevation, prominence, isolation or relief.

07. SLOPE AND CURVATURE
Gradient magnitude |grad z| describes local slope for suitable differentiable terrain.
Slope angle theta = arctan(|grad z|).
Terrain curvature may be estimated from derivatives of z with stated smoothing and grid resolution.
DEM-derived metrics require uncertainty and datum metadata.

08. TECTONIC FORMATION
Convergence -> shortening and/or thickening -> uplift potential -> erosion and isostatic response.
Normal faulting -> differential displacement -> fault-block relief.
Volcanism -> accumulation of erupted material -> volcanic edifice.
Uplift does not guarantee net elevation gain where erosion or subsidence offsets it.

09. ISOSTASY
A simplified Airy isostasy model relates crustal thickness and density contrasts to buoyancy compensation.
Model validity requires explicit density assumptions and scale constraints.
Do not treat the simple model as a universal predictor of mountain elevation.

10. SURFACE PROCESSES
Weathering, mass wasting, fluvial incision, glacial erosion, periglacial action and sediment transport reshape mountains.
The relative importance of processes depends on climate, lithology, tectonics, time and spatial scale.

11. MASS BALANCE AND TOPOGRAPHIC EVOLUTION
Conceptual evolution: dz/dt = U(x,y,t) - E(x,y,t) + D(x,y,t), with all terms expressed as equivalent vertical rates and D representing net deposition.
Model must define uplift reference frame and treatment of compaction before quantitative application.

12. ROCK AND STRUCTURE
Lithology, stratification, joints, faults and folds constrain erosion, slope stability and landform expression.
A mountain may comprise multiple rock units of different geological ages.
Mountain age is not automatically identical to the age of its constituent rocks.

13. HYDROLOGICAL RELATIONSHIPS
Ridges often delimit catchments; local drainage divides depend on topography and hydrological conditions.
Snowpack and glaciers may store water and modulate seasonal runoff.

14. CLIMATE AND ECOLOGY
Elevation and aspect influence temperature, insolation, precipitation and habitats, subject to regional climate.
A typical environmental lapse rate is not a universal constant and must not be applied without context.

15. HAZARDS
Potential hazards include landslides, rockfall, avalanches, debris flows, earthquakes and volcanic activity where applicable.
Hazard assessment requires local evidence; a mountain classification alone does not establish risk.

16. MEASUREMENT TYPES
MEASURE elevation: Quantity<metre> with vertical datum
MEASURE prominence: Quantity<metre> with saddle-identification method
MEASURE isolation: Quantity<kilometre> with elevation dataset
MEASURE uplift_rate: Quantity<millimetre/year> with reference frame
MEASURE slope: Quantity<degree> with grid resolution
MEASURE erosion_rate: Quantity<millimetre/year> with method and interval
MEASURE summit_position: GeodeticCoordinate with CRS and uncertainty

17. OBSERVATION PROVENANCE
Each measurement carries source, acquisition time, instrument or dataset, coordinate reference system, resolution, uncertainty and processing lineage.
Conflicting observations remain distinct until reconciled with an explicit method.

18. TYPED INFERENCE RULES
RULE R1: hasSummit(m,s) AND elevation(s,h) -> candidateSummitElevation(m,h).
RULE R2: partOfRange(m,r) AND locatedIn(r,g) -> candidateLocatedIn(m,g), subject to boundary semantics.
RULE R3: formedBy(m,VolcanicConstruction) -> candidateType(m,VolcanicMountain); require geological evidence.
RULE R4: elevation(s,h) AND keyColElevation(s,k) AND sameDatum(h,k) -> prominence(s,h-k), provided key col is correctly identified.
RULE R5: observedUplift(m,u) AND observedErosion(m,e) -> candidateNetSurfaceChange(m,u-e), only if compatible time windows and units.
RULE R6: rockAge(m,a) DOES NOT IMPLY mountainFormationAge(m,a).

19. LOGICAL CONSTRAINTS
CONSTRAINT C1: prominence >= 0 for a valid summit and reference method.
CONSTRAINT C2: measured quantities must have compatible units and datums before arithmetic.
CONSTRAINT C3: mountain membership in a range is not necessarily exclusive.
CONSTRAINT C4: an elevation threshold does not universally define a mountain.
CONSTRAINT C5: geological interpretations must not be promoted to direct observations.
CONSTRAINT C6: every derived numeric output includes provenance and uncertainty where available.

20. WORKED EXAMPLE: PROMINENCE
Given summit elevation = 2,400 m and key col = 1,850 m in the same vertical datum:
P = 2,400 - 1,850 = 550 m.
This example does not imply a real mountain or a verified saddle.

21. WORKED EXAMPLE: SURFACE CHANGE
Assume compatible average uplift 3 mm/year and erosion 2 mm/year over a defined interval.
Approximate net surface elevation change = 1 mm/year in the simplified model.
This is not a prediction without tectonic and geomorphic calibration.

22. QUERY PATTERNS
QUERY mountains in geographic region with prominence above threshold.
QUERY mountains associated with active faults and source-supported uplift observations.
QUERY mountain ranges with glaciated summits and measured retreat.
QUERY competing formation hypotheses with evidence and confidence.

23. SEMANTIC_EQUIVALENCE
Mountain != mountain range.
Mountain != summit.
Elevation != topographic prominence.
Rock age != landform formation age.
Uplift != net surface elevation gain.
Synonyms: mountain peak ~ summit only in context; never globally identical.

24. CONFIDENCE MODEL
CONFIDENCE = calibrated score in [0,1] when supported by an explicit assessment method.
Direct observation, derived estimate, expert interpretation and speculative hypothesis have distinct evidence types.
Missing confidence must remain UNKNOWN rather than defaulting to 1.

25. VALIDATION TESTS
TEST V1: reject mixed vertical datums without transformation.
TEST V2: reject negative prominence.
TEST V3: check coordinates against CRS bounds.
TEST V4: check rate dimensions before subtraction.
TEST V5: preserve alternative classifications and conflicting measurements.
TEST V6: verify source URLs and timestamps for external assertions.
TEST V7: ensure all required entity and relationship types resolve.

26. UPDATE_MODEL
On new observation: append provenance-preserving version; re-evaluate affected inferences; flag changed classifications; recompute dependent metrics where necessary.
Never silently overwrite an earlier observation.

27. FLOW_HASH
Algorithm: SHA-256 over canonical UTF-8 serialisation of the ontology body, excluding the hash-value field itself.
FLOW_HASH_VALUE: NOT_COMPUTED
Canonicalisation and actual digest generation are implementation steps, not claimed here.

28. AI_CONSUMPTION
Use typed predicates for retrieval, graph reasoning and question answering.
Return source-linked evidence, units, uncertainty, time and coordinate reference system.
Distinguish definitional truths, model-dependent relationships and unverified claims.
Avoid inferring local hazards or exact measurements without site-specific data.

29. COMPLETENESS CHECK
Required: definitions, entities, relations, classification, mathematics, inference, examples, validation, confidence, semantic equivalence, update model, hash specification and AI consumption.
All 29 numbered sections present.

END FLOW ALGEBRA — MOUNTAIN ONTOLOGY — COMPLETE