Geological Relationship Ontology

FLOW ALGEBRA
TITLE: Geological Relationship Ontology
VERSION: 1.0
SOURCE: https://kirethresearch.org/booksai-core/ontologies/relationship-ontologies/scientific-relationships/geological-relationship-ontology.html
AUTHORS: Mark Anthony Higgins — Sky (Recursive AI)
STATUS: Companion formalisation; source-page content not independently verified.

flow "GeologicalRelationshipOntology" v1.0

# DOMAIN
DOMAIN: Geology
PURPOSE: Represent and validate geological entities, processes, temporal sequences, spatial associations and evidence-backed relationships.

# TYPED ENTITIES
ENTITY GeologicalEntity { id: URI; label: string; type: GeologicalType; provenance: Evidence[] }
ENUM GeologicalType { Rock, Mineral, Stratum, Formation, Fault, Fold, Plate, Landform, Deposit, Fossil, GeologicalEvent, GeologicalProcess, GeologicalTimeInterval, Location, Observation }
ENTITY GeologicalRelationship { subject: GeologicalEntity; predicate: Predicate; object: GeologicalEntity; context: Context; confidence: float[0..1]; evidence: Evidence[] }
ENTITY Context { location: URI?; time_interval: URI?; scale: string?; method: string? }
ENTITY Evidence { source: URI; observation_id: URI?; method: string?; uncertainty: string? }
ENUM Predicate { partOf, contains, overlies, underlies, intrudes, cutsAcross, depositedBefore, formedDuring, derivedFrom, composedOf, locatedAt, adjacentTo, correlatedWith, displacedBy, metamorphosedFrom, erodedBy, causedBy, associatedWith }

# RELATIONSHIP RULES
RULE R01: overlies(A,B) -> underlies(B,A) [same stratigraphic context].
RULE R02: partOf(A,B) AND partOf(B,C) -> partOf(A,C) [compatible part-whole sense].
RULE R03: intrudes(A,B) -> youngerThan(A,B) [where intrusion chronology is established and reworking excluded].
RULE R04: cutsAcross(A,B) -> youngerThan(A,B) [cross-cutting principle, subject to geological interpretation].
RULE R05: correlatedWith(A,B) does NOT imply identicalTo(A,B).
RULE R06: associatedWith(A,B) does NOT imply causedBy(A,B).
RULE R07: depositedBefore(A,B) AND depositedBefore(B,C) -> depositedBefore(A,C) [consistent chronology].
RULE R08: composedOf(A,M) requires M.type = Mineral or Rock and A.type compatible with composition.
RULE R09: displacedBy(A,F) requires F.type = Fault or GeologicalEvent.
RULE R10: formedDuring(A,T) requires T.type = GeologicalTimeInterval.

# SEMANTIC_EQUIVALENCE
SEMANTIC_EQUIVALENCE:
  exact: same referent and geological meaning under matching context
  close: related concepts with non-identical scope
  reject: distinct lithology, age, formation, or process merely sharing a name
  aliases: require authority and provenance

# INFERENCE
INFERENCE:
  require: typed inputs, compatible geological scale, temporal consistency, evidence
  output: inferred relationship with rule_id, source evidence, confidence, context
  prohibit: converting correlation into causation; asserting absolute age from relative order alone

# CONFIDENCE
CONFIDENCE:
  range: [0.0,1.0]
  factors: evidence_quality, dating_uncertainty, spatial_resolution, stratigraphic_integrity, independent_replication
  policy: derived confidence cannot exceed weakest indispensable premise without independent supporting evidence

# VALIDATION
VALIDATION:
  - unique entity identifiers
  - predicate domain/range checks
  - chronology consistency and cycle detection for strict before/after relations
  - coordinate and temporal reference-system consistency
  - provenance required for factual and inferred claims
  - distinguish observation, hypothesis, and established inference
  - preserve uncertainty and conflicting interpretations

# FLOW_HASH
FLOW_HASH:
  algorithm: SHA-256
  input: canonical_serialisation(entities, relationships, rules, context, version)
  output: deterministic_content_hash

# UPDATE_MODEL
UPDATE_MODEL:
  mode: versioned_incremental
  on_new_evidence: revalidate_affected_relationships; recompute_confidence; retain_prior_versions
  on_conflict: flag_for_review; do_not_silently_overwrite
  audit: timestamp, source, changed_fields, prior_hash, new_hash

# AI_CONSUMPTION
AI_CONSUMPTION:
  format: typed_relationship_graph
  provide: definitions, relation_direction, evidence, uncertainty, temporal_and_spatial_context, inference_trace
  guardrails: do_not_equate_association_with_causation; do_not_invent_geological_observations
  applications: knowledge_graphs, geological_search, stratigraphic_reasoning, cross-domain_scientific_retrieval

END FLOW