Geological Science Domain Ontology

FLOW ALGEBRA
TITLE: Geological Science Domain Ontology
DOMAIN: Domain Ontologies / Scientific Domains / Geological Science
SOURCE: https://kirethresearch.org/booksai-core/ontologies/domain-ontologies/scientific-domains/geological-science-domain-ontology.html
VERSION: 1.0
AUTHORS: Mark Anthony Higgins — Sky (Recursive AI)
STATUS: Companion formalisation; source-page specification not independently verified.

flow "GeologicalScienceDomainOntology" v1.0 {
  ontology:
    id: "geological-science-domain-ontology"
    parent: "scientific-domains"
    purpose: "Represent geological materials, structures, processes, observations and evidence-backed temporal and spatial relationships."

  types:
    GeologicalEntity: {id: string, class: enum[rock, mineral, formation, stratum, fault, fold, basin, deposit, landform, other], designation: string}
    GeologicalProcess: {id: string, kind: enum[sedimentation, erosion, metamorphism, magmatism, tectonics, weathering, other], interval: string?}
    GeologicalObservation: {id: string, method: string, location: string?, observed_at: datetime?, provenance: string, uncertainty: number?}
    GeologicalSample: {id: string, material: string, collection_location: string?, collection_time: datetime?, provenance: string}
    Quantity: {value: number, unit: string, uncertainty: number?, reference_frame: string?}
    GeologicalRelationship: {id: string, subject: string, predicate: string, object: string, context: string?, confidence: number, evidence: string[]}

  predicates:
    composed_of(entity: GeologicalEntity, material: GeologicalEntity)
    overlies(upper: GeologicalEntity, lower: GeologicalEntity)
    intrudes_into(intrusion: GeologicalEntity, host: GeologicalEntity)
    cuts_across(structure: GeologicalEntity, target: GeologicalEntity)
    formed_by(entity: GeologicalEntity, process: GeologicalProcess)
    sampled_by(entity: GeologicalEntity, sample: GeologicalSample)
    observed_in(entity: GeologicalEntity, observation: GeologicalObservation)
    correlated_with(a: GeologicalEntity, b: GeologicalEntity)
    located_in(entity: GeologicalEntity, region: string)

  constraints:
    - "All relationship endpoints must resolve to compatible typed entities."
    - "Confidence values must lie within [0,1]."
    - "Measured quantities require explicit units and uncertainty where known."
    - "Stratigraphic superposition does not alone establish absolute age or undisturbed succession."
    - "Spatial proximity and correlation do not alone prove common origin or causation."
    - "Geological interpretations must retain spatial, temporal and methodological context."
    - "Do not automatically treat composition, intrusion, correlation or location as transitive."

  inference:
    rule stratigraphic_order:
      if overlies(a,b) and overlies(b,c) and undisturbed_sequence(a,b,c)
      then overlies(a,c)
      confidence: "dependent on structural integrity and supporting observations"
    rule cross_cutting_relative_age:
      if cuts_across(a,b) and verified_cross_cutting(a,b)
      then relative_age(a, younger_than, b)
      confidence: "requires geological context and excludes reactivation ambiguity"
    rule observation_support:
      if observed_in(entity,obs) and valid(obs)
      then evidence_for(entity,obs)
      confidence: "observation quality dependent"

  SEMANTIC_EQUIVALENCE:
    - "Normalise geological names against versioned vocabularies and stratigraphic authorities."
    - "Distinguish exact identity, lithological similarity, stratigraphic correlation and historical aliases."
    - "Preserve coordinate reference system, scale, age model and classification scheme."

  CONFIDENCE:
    range: [0,1]
    factors: [observation_quality, dating_uncertainty, sampling_bias, geological_context, source_reliability, independent_replication]
    policy: "Do not inflate confidence through repeated or dependent evidence."

  VALIDATION:
    - "Validate types, geological units, coordinates, dates and provenance."
    - "Flag incompatible age constraints, contradictory stratigraphy and unsupported causal claims."
    - "Retain alternative interpretations where geological evidence is ambiguous."

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

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

  AI_CONSUMPTION:
    representation: "typed geological knowledge graph with evidence-backed edges"
    outputs: [geological_entities, relation_triples, stratigraphic_constraints, uncertainty_annotations, provenance_records]
    safeguards: [no_unsupported_age_claims, no_unqualified_identity_merges, preserve_units_and_geological_context]
}

END FLOW ALGEBRA