Alias Relationship Ontology

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

ONTOLOGY AliasRelationshipOntology {
  DOMAIN: Semantic Relationships
  PURPOSE: Represent alternative labels, names, identifiers and expressions that refer to an entity or concept without automatically asserting universal identity.

  ENTITY Entity { id: IRI; type: Class; canonical_label: String? }
  ENTITY Alias { id: IRI; lexical_form: String; language: BCP47?; script: String?; alias_kind: AliasKind }
  ENTITY Context { id: IRI; domain: String?; locale: String?; valid_from: DateTime?; valid_to: DateTime? }
  ENTITY Evidence { id: IRI; source: IRI?; asserted_at: DateTime; method: String }
  ENUM AliasKind { SYNONYM, ABBREVIATION, ACRONYM, FORMER_NAME, DISPLAY_NAME, TRANSLITERATION, SPELLING_VARIANT, IDENTIFIER, NICKNAME }

  RELATION has_alias(Entity, Alias) [many_to_many]
  RELATION alias_of(Alias, Entity) [inverse_of: has_alias]
  RELATION valid_in(Alias, Context)
  RELATION supported_by(has_alias, Evidence)
  RELATION preferred_label_in(Entity, Alias, Context)
  RELATION potentially_ambiguous_with(Alias, Alias)

  RULE R1: has_alias(e,a) => alias_of(a,e).
  RULE R2: alias_of(a,e) => has_alias(e,a).
  RULE R3: has_alias(e,a) AND valid_in(a,c) => candidate_reference(a,e,c).
  RULE R4: candidate_reference(a,e,c) AND disambiguated(a,e,c) => resolved_reference(a,e,c).
  RULE R5: has_alias(e1,a) AND has_alias(e2,a) DOES_NOT_IMPLY same_identity(e1,e2).
  RULE R6: same_lexical_form(a1,a2) DOES_NOT_IMPLY same_alias(a1,a2).
  RULE R7: former_name(a,e) AND outside_validity(a,c) => not_current_preferred_label(a,e,c).

  CONSTRAINT C1: Every Alias must have a non-empty lexical_form.
  CONSTRAINT C2: Alias resolution must preserve language, domain and temporal context where available.
  CONSTRAINT C3: One alias may denote multiple entities; ambiguity must not be silently collapsed.
  CONSTRAINT C4: Alias relationships alone must not imply owl:sameAs or semantic equivalence.
  CONSTRAINT C5: Evidence provenance must remain attached to asserted alias mappings.

  SEMANTIC_EQUIVALENCE {
    alias_label_equivalence: contextual_and_reference_dependent;
    entity_identity: requires_independent_identity_evidence;
    synonymy: distinct_from_identity;
  }

  CONFIDENCE {
    score: Real[0,1];
    inputs: [source_reliability, context_match, language_match, temporal_validity, corroboration];
    aggregation: calibrated_model_specific;
    threshold: application_defined;
    uncertainty: preserve_ambiguous_candidates;
  }

  VALIDATION {
    check_types: true;
    check_inverse_relations: true;
    check_context_and_temporal_scope: true;
    detect_ambiguous_aliases: true;
    detect_conflicting_preferred_labels: true;
    prohibit_unjustified_identity_merges: true;
  }

  FLOW_HASH {
    algorithm: SHA-256;
    input: canonical_serialisation(ontology_version, entities, relations, rules, constraints);
    purpose: integrity_and_change_detection;
  }

  UPDATE_MODEL {
    operations: [ADD_ALIAS, REVISE_ALIAS, DEPRECATE_ALIAS, MERGE_CANDIDATES, SPLIT_CANDIDATES];
    preserve_history: true;
    preserve_provenance: true;
    require_revalidation: true;
    recalculate_flow_hash: true;
  }

  AI_CONSUMPTION {
    output: [canonical_entity, matched_alias, context, confidence, evidence, ambiguity_status];
    retrieval: context_sensitive;
    disambiguation: mandatory_when_multiple_candidates;
    identity_claims: evidence_gated;
    explanation: provenance_traceable;
  }
}