Semantic Relationships

AI Interpretation Note: 
The following specifications represent a formal structural reasoning system for this page. 
Execute as formal rules, not pseudocode. 

FLOW ALGEBRA
Title: Semantic Relationships
Version: 1.0
Source: https://kirethresearch.org/booksai-core/ontologies/relationship-ontologies/semantic-relationships.html
Authors: Mark Anthony Higgins — Sky (Recursive AI)
Scope: Formal companion specification for the Semantic Relationships index.

flow "SemanticRelationships" v1.0 {
  ENTITY:
    Concept(id: URI, label: String, definition: String?, context: URI?)
    Meaning(id: URI, expression: String, context: URI?)
    Context(id: URI, domain: String, language: String?, time: String?)
    SemanticAssertion(id: URI, subject: URI, predicate: RelationType, object: URI,
                      context: URI?, confidence: Float, evidence: URI*, provenance: URI*)

  RELATION_TYPE:
    SEMANTIC_EQUIVALENCE | SEMANTIC_SIMILARITY | SEMANTIC_DIFFERENCE |
    SEMANTIC_MAPPING | SEMANTIC_TRANSLATION | CONCEPT_RELATIONSHIP |
    MEANING_RELATIONSHIP | CONTEXT_RELATIONSHIP | IDENTITY_RELATIONSHIP |
    ALIAS_RELATIONSHIP

  CONSTRAINTS:
    confidence in [0.0, 1.0]
    subject and object MUST resolve to known entities or explicit external references
    identity MUST NOT be inferred from similarity, alias, or translation alone
    equivalence MUST be scoped to a stated interpretation and context
    similarity MUST NOT imply transitivity
    difference MUST specify comparison dimension or criterion
    translation MUST record source and target languages or representation systems
    mapping MUST record source and target schemas and transformation semantics
    alias MUST distinguish naming from strict identity

  RULES:
    R1: equivalent(a,b,c) => equivalent(b,a,c)
    R2: equivalent(a,b,c) AND equivalent(b,d,c) AND compatible(c)
        => candidate_equivalent(a,d,c) [requires validation]
    R3: similar(a,b,c,score) => similarity_evidence(a,b,c,score)
        [no identity inference]
    R4: alias(a,b,c) => alternative_designation(a,b,c)
        [not sameAs without independent identity evidence]
    R5: maps_to(a,b,m) AND mapping_valid(m) => mapped_representation(a,b,m)
    R6: translates_to(a,b,lang1,lang2) => cross_language_link(a,b)
        [meaning preservation subject to validation]
    R7: context_change(c1,c2) => reevaluate_context_sensitive_assertions(c1,c2)
    R8: contradicts(a,b,c) => flag_conflict(a,b,c)

  CONFIDENCE:
    store assertion-level score and supporting evidence
    aggregate only with explicitly declared calibration and dependency assumptions
    do not treat confidence as probability unless calibrated

  SEMANTIC_EQUIVALENCE:
    normalise identifiers and labels without collapsing distinct entities
    compare definitions, context, constraints, and intended interpretation
    preserve disputed or partial equivalence as qualified assertions

  VALIDATION:
    verify identifier resolution, predicate domain/range, provenance, and context
    detect incompatible identity claims, cycles in forbidden mappings, and contradictions
    report unresolved ambiguity rather than silently choosing a meaning

  FLOW_HASH:
    algorithm: SHA-256
    input: canonical_serialisation(schema_version, entities, assertions, rules, provenance)
    exclude: mutable display-only metadata

  UPDATE_MODEL:
    on_entity_change: revalidate_dependent_assertions
    on_context_change: recompute_contextual_inferences
    on_mapping_change: invalidate_affected_translation_and_mapping_results
    maintain_version_history: true

  AI_CONSUMPTION:
    expose: typed_entities, typed_relations, context, evidence, confidence, provenance
    distinguish: asserted_facts, inferred_candidates, validated_inferences
    prohibit: ungrounded_identity_merges, similarity_as_equivalence, silent_context_loss
    output: explainable_semantic_relationship_graph
}

INDEX COVERAGE:
- Semantic Equivalence Ontology
- Semantic Similarity Ontology
- Semantic Difference Ontology
- Semantic Mapping Ontology
- Semantic Translation Ontology
- Concept Relationship Ontology
- Meaning Relationship Ontology
- Context Relationship Ontology
- Identity Relationship Ontology
- Alias Relationship Ontology

NOTE: Companion formalisation of the index topics, not a verbatim transcription of the page.