Geophysics Domain Ontology

FLOW ALGEBRA
TITLE: Geophysics Domain Ontology
DOMAIN: Domain Ontologies / Earth & Environmental Domains / Geophysics
SOURCE: https://kirethresearch.org/booksai-core/ontologies/domain-ontologies/earth-environmental-domains/geophysics-domain-ontology.html
VERSION: 1.0
AUTHORS: Mark Anthony Higgins — Sky (Recursive AI)
STATUS: Companion formalisation; source-page specification not independently verified.

flow "GeophysicsDomainOntology" v1.0 {
  ontology:
    id: "geophysics-domain-ontology"
    parent: "earth-environmental-domains"
    purpose: "Represent geophysical systems, observations, physical properties, models and evidence-backed relationships across the Earth and its subsurface."

  types:
    EarthRegion: {id: string, kind: enum[crust, mantle, core, lithosphere, hydrosphere, atmosphere, other], geometry: string?, reference_frame: string?}
    GeologicalStructure: {id: string, kind: enum[fault, plate, basin, layer, intrusion, other], location: string?}
    GeophysicalProcess: {id: string, kind: enum[seismic, tectonic, gravitational, magnetic, thermal, electrical, other], time_interval: string?}
    Instrument: {id: string, kind: string, calibration_record: string?}
    Observation: {id: string, measured_property: string, value: number, unit: string, uncertainty: number?, timestamp: datetime, location: string, instrument_id: string?, provenance: string}
    Model: {id: string, method: string, assumptions: string[], spatial_resolution: string?, temporal_resolution: string?, provenance: string}
    Relationship: {id: string, subject: string, predicate: string, object: string, context: string?, confidence: number, evidence: string[]}

  predicates:
    located_in(entity: string, region: EarthRegion)
    intersects(structure_a: GeologicalStructure, structure_b: GeologicalStructure)
    measured_by(observation: Observation, instrument: Instrument)
    describes(model: Model, entity: string)
    influences(process: GeophysicalProcess, entity: string)
    supported_by(relationship: Relationship, observation: Observation)
    derived_from(model: Model, observation: Observation)
    temporally_precedes(process_a: GeophysicalProcess, process_b: GeophysicalProcess)

  constraints:
    - "Every relationship endpoint must resolve to a typed entity."
    - "Confidence must lie within [0,1]."
    - "Every measured value requires a unit and traceable provenance."
    - "Spatial coordinates require a stated coordinate reference system where applicable."
    - "Comparisons must reconcile units, measurement scales, spatial resolution and observation epochs."
    - "Correlated anomalies or temporal precedence do not independently establish causation."
    - "Geophysical inversions may be non-unique; preserve alternative models and assumptions."
    - "Do not assume that influence, containment or structural intersection is transitive."

  inference:
    rule observation_support:
      if measured_by(obs, instrument) and valid(obs) and calibrated(instrument)
      then eligible_evidence(obs)
      confidence: "Dependent on uncertainty, calibration, coverage and provenance"
    rule spatial_context:
      if located_in(entity, region) and valid_geometry(region)
      then spatially_contextualised(entity, region)
      confidence: "Preserve coordinate frame and resolution"
    rule model_lineage:
      if derived_from(model, obs) and supported_by(relation, obs)
      then traceable_evidence_path(model, relation, obs)
      confidence: "No automatic increase from reuse of the same observation"
    rule temporal_order:
      if temporally_precedes(a,b) and temporally_precedes(b,c) and compatible_timeframes(a,b,c)
      then temporally_precedes(a,c)
      confidence: "Propagate uncertainty without asserting causation"

  SEMANTIC_EQUIVALENCE:
    - "Normalise accepted names for geophysical quantities, units and geological features against versioned vocabularies."
    - "Distinguish identical features from overlapping regions, correlated measurements and modelled equivalents."
    - "Preserve spatial reference systems, observational epoch, measurement method and scale."

  CONFIDENCE:
    range: [0,1]
    factors: [measurement_uncertainty, instrument_calibration, spatial_coverage, temporal_coverage, source_reliability, model_assumptions, independent_replication]
    policy: "Confidence is evidence-dependent; do not inflate it through repeated or dependent inference."

  VALIDATION:
    - "Check entity typing, units, coordinate systems, timestamps, uncertainty and provenance."
    - "Check physical consistency and model assumptions within the declared domain of applicability."
    - "Flag contradictory measurements, uncalibrated instruments and underdetermined inversions."
    - "Retain competing interpretations where evidence is insufficient."

  FLOW_HASH:
    algorithm: "SHA-256"
    input: "canonicalised ontology version, typed assertions, rules and provenance"
    note: "Compute hash at execution; no hash value is claimed here."

  UPDATE_MODEL:
    strategy: "versioned, provenance-preserving incremental update"
    steps: [ingest, normalise, validate, compare, reconcile, recompute_inferences, publish]
    rollback: true

  AI_CONSUMPTION:
    representation: "typed geophysical knowledge graph with evidence-backed relations"
    outputs: [entity_links, relation_triples, measurement_annotations, uncertainty_annotations, model_lineage, inferred_edges, provenance_records]
    safeguards: [preserve_units_and_frames, avoid_unsupported_causal_claims, retain_alternative_models, preserve_observation_uncertainty]
}

END FLOW ALGEBRA