has correspondence
- CURIE:
gmeow:hasCorrespondence - IRI: https://blackcatinformatics.ca/gmeow/hasCorrespondence
- Category: property
- Defined by:
gmeow:slices/inference
Relates a gmeow:Analogy to one of its element-pair gmeow:Correspondence relations — the reified mapped pairs whose structural consistency is the analogy's gmeow:systematicity. NOT functional: an analogy holds many correspondences.
Structure
Property shape: object property; gmeow:Analogy -> gmeow:Correspondence
Practical Pattern
Use gmeow:hasCorrespondence from gmeow:Analogy to gmeow:Correspondence when the relationship itself belongs in the native GMEOW graph.
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#> .
# --- The reified analogy (a relator) ---------------------------------------- #
ex:rutherfordAnalogy a gmeow:Analogy ;
rdfs:label "The atom is like the solar system"@en ;
gmeow:analogicalSource ex:solarSystem ;
gmeow:analogicalTarget ex:atom ;
gmeow:hasCorrespondence ex:corrCentral , ex:corrOrbiting ;
gmeow:systematicity "0.80"^^xsd:decimal . # solver-layer (Gentner structural consistency)