systematicity

A solver-computed measure of a gmeow:Analogy's structural consistency (Gentner's systematicity principle: deep, interconnected relational mappings beat shallow attribute matches) — the basis on which the best analogy is selected. A solver-layer value (Principle 12); best-analogy selection promotes the winner's modality and suppresses rival mappings, never an asserted isBest bit. NOT functional.

Structure

Property shape: datatype property; gmeow:Analogy -> xsd:decimal

Practical Pattern

Use gmeow:systematicity from gmeow:Analogy to xsd:decimal 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

@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 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)

Common Companion Terms

gmeow:Analogy