Planetary Science Domain Ontology

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

flow "PlanetaryScienceDomainOntology" v1.0 {
  ontology:
    id: "planetary-science-domain-ontology"
    parent: "scientific-domains"
    purpose: "Represent planetary bodies, their physical environments, observations, processes and evidence-based scientific relationships."

  types:
    PlanetaryBody: {id: string, kind: enum[planet, dwarf_planet, moon, asteroid, comet, minor_body, other], designation: string}
    PlanetarySystem: {id: string, central_body: string?, epoch: datetime?}
    SurfaceFeature: {id: string, body_id: string, kind: string, geometry: string?, reference_frame: string?}
    Material: {id: string, composition: string?, phase: string?}
    Process: {id: string, kind: string, start: datetime?, end: datetime?}
    Observation: {id: string, target_id: string, timestamp: datetime, instrument: string?, method: string, provenance: string}
    Measurement: {id: string, value: number, unit: string, uncertainty: number?, reference_frame: string?, epoch: datetime?}
    Hypothesis: {id: string, statement: string, evidence_ids: string[], status: enum[proposed, supported, disputed, rejected]}
    Relationship: {id: string, subject: string, predicate: string, object: string, confidence: number, evidence: string[], context: string?}

  predicates:
    orbits(body: PlanetaryBody, primary: PlanetaryBody)
    member_of(body: PlanetaryBody, system: PlanetarySystem)
    feature_of(feature: SurfaceFeature, body: PlanetaryBody)
    composed_of(body: PlanetaryBody, material: Material)
    affected_by(body: PlanetaryBody, process: Process)
    observed_in(body: PlanetaryBody, observation: Observation)
    measured_by(entity_id: string, measurement: Measurement)
    supports(observation: Observation, hypothesis: Hypothesis)
    contradicts(observation: Observation, hypothesis: Hypothesis)

  constraints:
    - "All relationship endpoints must resolve to valid typed entities."
    - "Confidence values must lie within [0, 1]."
    - "Measurements require units, with uncertainties, epochs and reference frames where relevant."
    - "Orbital membership is time-dependent; do not assume permanence or transitivity."
    - "Do not infer geological age, composition or habitability from visual similarity alone."
    - "Distinguish direct observations from model-derived interpretations."
    - "Do not infer causation from correlation or temporal ordering alone."
    - "Retain alternative scientific hypotheses when evidence is inconclusive."

  inference:
    rule feature_membership:
      if feature_of(f,b) and valid(f) and valid(b)
      then located_on(f,b)
      confidence: "bounded by source observation quality"
    rule observational_support:
      if observed_in(b,o) and valid(o)
      then evidence_for(b,o)
      confidence: "measurement and instrument dependent"
    rule process_association:
      if affected_by(b,p) and evidence_supports(b,p)
      then associated_process(b,p)
      confidence: "do not automatically infer causal mechanism"

  SEMANTIC_EQUIVALENCE:
    - "Resolve designations using versioned planetary nomenclature catalogues."
    - "Distinguish identical bodies from aliases, related features and similar classifications."
    - "Preserve coordinate systems, observation epochs and instrument context."

  CONFIDENCE:
    range: [0,1]
    factors: [instrument_calibration, measurement_uncertainty, model_assumptions, source_reliability, independent_replication, temporal_validity]
    policy: "Inference chains must not manufacture certainty or double-count dependent evidence."

  VALIDATION:
    - "Validate entity types, source identifiers, spatial frames, epochs and measurement units."
    - "Check physical consistency and flag contradictory observations."
    - "Preserve provenance for both measured and inferred relationships."
    - "Flag unsupported claims about planetary conditions or habitability."

  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 planetary science knowledge graph with evidence-backed edges"
    outputs: [entity_links, relation_triples, measurement_annotations, uncertainty_annotations, inferred_edges, provenance_records]
    safeguards: [preserve_units_and_epochs, distinguish_observation_from_inference, no_unsupported_causal_claims, no_unqualified_identity_merges]
}

END FLOW ALGEBRA