Concept Relationship Ontology

FLOW ALGEBRA
TITLE: Concept Relationship Ontology
DOMAIN: Kireth Semantic Library / Relationship Ontologies / Semantic Relationships
SOURCE: https://kirethresearch.org/booksai-core/ontologies/relationship-ontologies/semantic-relationships/concept-relationship-ontology.html
AUTHORS: Mark Anthony Higgins — Sky (Recursive AI)
STATUS: Companion formalisation; source-page content not independently verified.
VERSION: 1.0

flow "ConceptRelationshipOntology" v1.0 {
  ENTITY:
    Concept(id: URI, label: String, definition: String?, language: LanguageTag?)
    ConceptScheme(id: URI, label: String)
    Context(id: URI, domain: String?, temporal_scope: Interval?)
    Evidence(id: URI, source: URI?, recorded_at: DateTime?)
    Assertion(id: URI, subject: Concept, predicate: RelationType, object: Concept,
              context: Context?, confidence: Decimal, evidence: Evidence*)

  RELATIONSHIP:
    broaderThan(Concept, Concept)
    narrowerThan(Concept, Concept)
    relatedTo(Concept, Concept)
    equivalentTo(Concept, Concept, Context?)
    closeMatch(Concept, Concept, Context?)
    partOf(Concept, Concept)
    hasPart(Concept, Concept)
    contrastsWith(Concept, Concept, Context?)
    dependsOn(Concept, Concept, Context?)
    memberOfScheme(Concept, ConceptScheme)

  CONSTRAINTS:
    all_concepts_have_unique_ids: true
    assertion_confidence_range: [0.0, 1.0]
    no_self_broader_than: true
    broader_narrower_inverse: true
    part_of_has_part_inverse: true
    equivalence_context_required_when_context_sensitive: true
    prohibit_unjustified_equivalence_from_similarity: true
    disallow_broader_cycles_in_strict_taxonomies: true

  INFERENCE:
    broaderThan(A,B) => narrowerThan(B,A)
    broaderThan(A,B) & broaderThan(B,C) => broaderThan(A,C)
    partOf(A,B) => hasPart(B,A)
    relatedTo(A,B) => relatedTo(B,A)
    equivalentTo(A,B,Ctx) => equivalentTo(B,A,Ctx)
    # Transitive equivalence only if senses, scope and context are compatible.
    equivalentTo(A,B,Ctx) & equivalentTo(B,C,Ctx) & compatible_senses(A,B,C) => equivalentTo(A,C,Ctx)
    # Do not infer equivalence from relatedTo, closeMatch, or contrastsWith.

  SEMANTIC_EQUIVALENCE:
    exact: equivalentTo where definition_and_scope_match
    approximate: closeMatch where substantial_overlap_and_material_differences
    context_sensitive: compare within same Context
    disambiguation: require concept identifiers and sense definitions

  CONFIDENCE:
    range: [0.0, 1.0]
    method: evidence_weighted_assessment
    propagate: conservative_minimum_for_derived_assertions
    thresholds: { review: 0.50, provisional: 0.70, accepted: 0.90 }
    note: thresholds_are_policy_defaults_not_empirical_probabilities

  VALIDATION:
    check_identifier_uniqueness
    check_relation_domain_and_range
    check_inverse_consistency
    check_taxonomy_cycles
    check_evidence_provenance
    check_context_compatibility
    flag_conflicting_assertions
    distinguish_absence_of_evidence_from_falsehood

  PROVENANCE:
    record_source_uri
    record_assertion_timestamp
    record_evidence_and_review_history
    distinguish_asserted_from_inferred_relations

  FLOW_HASH:
    algorithm: SHA-256
    input: canonical_serialisation(ENTITY, RELATIONSHIP, CONSTRAINTS, INFERENCE, SEMANTIC_EQUIVALENCE, CONFIDENCE, VALIDATION)
    output: lowercase_hex_digest
    note: hash_computed_at_runtime_not_precomputed

  UPDATE_MODEL:
    mode: versioned_incremental
    on_change: revalidate_affected_assertions_and_dependents
    maintain: provenance_and_previous_versions
    invalidate: derived_edges_when_premises_change
    conflict_policy: preserve_conflicts_for_review

  AI_CONSUMPTION:
    representation: typed_machine_readable_relationship_graph
    tasks: [semantic_search, concept_disambiguation, ontology_alignment, knowledge_graph_reasoning, retrieval_augmentation]
    return: [concept_ids, relation_types, contextual_scope, confidence, evidence, derivation_trace]
    safeguards: [do_not_conflate_similarity_with_identity, preserve_provenance, report_uncertainty]
}