Correspondence

• CURIE: gmeow:Correspondence
• IRI: https://blackcatinformatics.ca/gmeow/Correspondence
• Category: class
• Defined by: gmeow:slices/inference
• Box roles: TBox role (What is this?)

A single mapped element-pair within an gmeow:Analogy — the reified relation that one source element (gmeow:correspondingSource) plays the same structural role as one target element (gmeow:correspondingTarget). Reached from its analogy via gmeow:hasCorrespondence. The atom of structure-mapping: an analogy's systematicity is the structural consistency of its set of Correspondences.

Structure

Subclass of: gufo:Relator

Practical Pattern

Use gmeow:Correspondence as a specialized kind of gufo:Relator. Add statement metadata or a standpoint when the assertion needs provenance, confidence, or vantage.

Example Snippets

These snippets are generated from canonical slice examples and trimmed to the Turtle blocks where this term appears.

Analogy

• Source: slices/core/inference/examples/analogy.ttl
• Examples catalog: open in catalog#example-slices-core-inference-examples-analogy

@prefix gmeow: <https://blackcatinformatics.ca/gmeow/> .
@prefix ex:    <https://blackcatinformatics.ca/gmeow/examples/inference/> .
@prefix rdfs:  <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:   <http://www.w3.org/2001/XMLSchema#> .



# SPDX-FileCopyrightText: 2026 Blackcat Informatics® Inc. <paudley@blackcatinformatics.ca>
# SPDX-License-Identifier: CC-BY-4.0
#
# Worked example — ANALOGY (structure-mapping, Gentner).
#
# The Rutherford analogy: the atom is like the solar system. Analogical
# inference transfers relational structure from a familiar SOURCE (the solar
# system) to a TARGET (the atom) via a gmeow:Analogy whose element-pair
# gmeow:Correspondence relations carry the mapping. The mapping is scored by a
# solver-layer gmeow:systematicity (Gentner: deep relational structure beats
# shallow attribute matches). The warrant of the analogical
# gmeow:InferenceCommitment points at the gmeow:Analogy. Not truth-preserving,
# so the conclusion is gmeow:probable.

# --- The element-pair correspondences --------------------------------------- #
ex:corrCentral a gmeow:Correspondence ;
    rdfs:label "Sun <-> nucleus (central massive body)"@en ;
    gmeow:correspondingSource ex:sun ;            # functional: one source element
    gmeow:correspondingTarget ex:nucleus .        # functional: one target element

Ai Offline Replay

• Source: slices/extensions/dreaming/examples/ai-offline-replay.ttl
• Examples catalog: open in catalog#example-slices-extensions-dreaming-examples-ai-offline-replay

@prefix gmeow: <https://blackcatinformatics.ca/gmeow/> .
@prefix ex:    <https://blackcatinformatics.ca/gmeow/examples/dreaming/ai-offline-replay/> .
@prefix rdfs:  <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos:  <http://www.w3.org/2004/02/skos/core#> .
@prefix xsd:   <http://www.w3.org/2001/XMLSchema#> .



ex:customerToTechnicalProblem a gmeow:Correspondence ;
    rdfs:label "customer problem <-> technical problem"@en ;
    gmeow:correspondingSource ex:storedCustomerScenario ;
    gmeow:correspondingTarget ex:storedTechnicalScenario .