Astronomical Relationship Ontology

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

flow "AstronomicalRelationshipOntology" v1.0 {
  ontology:
    id: "astronomical-relationship-ontology"
    parent: "scientific-relationships"
    purpose: "Represent and validate relationships among astronomical objects, events, observations and physical processes."

  types:
    AstronomicalObject: {id: string, class: enum[star, planet, moon, asteroid, comet, galaxy, nebula, black_hole, other], designation: string}
    CelestialSystem: {id: string, kind: enum[planetary_system, stellar_system, galaxy_group, galaxy_cluster, other]}
    Observation: {id: string, timestamp: datetime, instrument: string?, frame: string?, uncertainty: number?, provenance: string}
    Quantity: {value: number, unit: string, uncertainty: number?, reference_frame: string?, epoch: datetime?}
    Event: {id: string, kind: string, timestamp: datetime?, provenance: string}
    Relationship: {id: string, subject: string, predicate: string, object: string, context: string?, confidence: number, evidence: string[]}

  predicates:
    orbits(object: AstronomicalObject, primary: AstronomicalObject)
    gravitationally_interacts_with(a: AstronomicalObject, b: AstronomicalObject)
    member_of(object: AstronomicalObject, system: CelestialSystem)
    located_in(object: AstronomicalObject, region: string)
    emits(object: AstronomicalObject, radiation: string)
    observed_by(object: AstronomicalObject, observation: Observation)
    precedes(event_a: Event, event_b: Event)
    associated_with(a: AstronomicalObject, b: AstronomicalObject)

  constraints:
    - "Relationship endpoints must resolve to typed entities."
    - "Confidence must lie within [0, 1]."
    - "Quantities require explicit units; frame-dependent values require reference frame and epoch when applicable."
    - "Do not infer causation from temporal order or correlation alone."
    - "Orbital relationships are time-dependent and must not imply permanent or exclusive membership."
    - "No automatic transitivity for orbits, gravitational interaction, membership or association."
    - "Physical identity must not be inferred solely from matching names or positions."

  inference:
    rule gravitational_symmetry:
      if gravitationally_interacts_with(a,b)
      then gravitationally_interacts_with(b,a)
      confidence: "retain source evidence and context"
    rule observed_object:
      if observed_by(o,obs) and valid(obs)
      then evidence_for(o,obs)
      confidence: "observation quality dependent"
    rule temporal_order:
      if precedes(a,b) and precedes(b,c) and same_temporal_frame(a,b,c)
      then precedes(a,c)
      confidence: "propagate evidence; do not manufacture certainty"

  SEMANTIC_EQUIVALENCE:
    - "Normalise accepted astronomical designations against a versioned authority catalogue."
    - "Distinguish alias, similarity, membership and identity."
    - "Preserve coordinate frame, epoch and observational context."

  CONFIDENCE:
    range: [0,1]
    factors: [measurement_uncertainty, source_reliability, model_assumptions, temporal_validity, independent_replication]
    policy: "Do not increase confidence solely by chaining inferences."

  VALIDATION:
    - "Check type compatibility, units, epochs, frames and provenance."
    - "Flag conflicting classifications and inconsistent physical constraints."
    - "Retain alternative hypotheses where observations are inconclusive."

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

END FLOW ALGEBRA