has defeater

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

Relates a reified gmeow:InferenceCommitment to a defeating gmeow:StandpointClaim — a consideration that, once accepted, withdraws support for the conclusion. NOT functional: a commitment may face several defeaters. A fired defeater closes the gmeow:InferenceTenure and sets the conclusion-claim gmeow:displayable false; the commitment is retained as audit (Principle 10). The defeating claim carries its Pollock kind via gmeow:defeaterKind.

Structure

Property shape: object property; gmeow:InferenceCommitment -> gmeow:StandpointClaim

Practical Pattern

Use gmeow:hasDefeater from gmeow:InferenceCommitment to gmeow:StandpointClaim 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.

Belief Revision

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

@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 argument, retained as audit -------------------------------- #
ex:revisedCommitment a gmeow:InferenceCommitment ;
    rdfs:label "Inductive argument: did-not-print therefore broken (defeated)"@en ;
    gmeow:inferenceModeOf gmeow:modeInduction ;
    gmeow:premise ex:premDidNotPrint ;
    gmeow:conclusion ex:conclPrinterBroken ;
    gmeow:hasDefeater ex:defeaterNeverQueued .

Reflection Revision

• Source: slices/core/metacognition/examples/reflection-revision.ttl
• Examples catalog: open in catalog#example-slices-core-metacognition-examples-reflection-revision

# SPDX-FileCopyrightText: 2026 Blackcat Informatics® Inc. <paudley@blackcatinformatics.ca>
# SPDX-License-Identifier: CC-BY-4.0
#
# Worked example — REFLECTION defeating one's own inference, belief revision as
# SUPPRESSION (Principle 10). The metacognition layer over the inference slice's
# belief-revision pattern: Lillith inductively concluded "the server is down" from
# "the ping timed out". On REFLECTION (a gmeow:Event typed gmeow:eventTypeReflection,
# tied to the reflexive layer by a gmeow:MetacognitiveState whose gmeow:metaTarget
# is her OWN gmeow:InferenceCommitment) she surfaces an UNDERCUTTING defeater — a
# firewall rule blocked the ping, removing the warrant. Revision does NOT delete:
# the conclusion-claim is set gmeow:displayable false, the gmeow:InferenceTenure is
# closed, and the gmeow:InferenceCommitment is retained as audit. The defeater is
# installed via the inference slice's gmeow:hasDefeater (reused by reference); the
# reflection → revision link is a documented bridge, never an axiom.
@prefix gmeow: <https://blackcatinformatics.ca/gmeow/> .
@prefix ex:    <https://blackcatinformatics.ca/gmeow/examples/metacognition/> .
@prefix rdfs:  <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:   <http://www.w3.org/2001/XMLSchema#> .

# --- The reified argument, retained as audit; the reflection installs the
#     defeater on Lillith's own commitment via the inference slice's hasDefeater.
ex:revisedCommitment a gmeow:InferenceCommitment ;
    rdfs:label "Inductive argument: ping-timeout therefore server-down (defeated on reflection)"@en ;
    gmeow:inferenceModeOf gmeow:modeInduction ;
    gmeow:premise ex:premPingTimedOut ;
    gmeow:conclusion ex:conclServerDown ;
    gmeow:hasDefeater ex:defeaterFirewall .

Common Companion Terms

gmeow:InferenceCommitment, gmeow:StandpointClaim

External Equivalences

Equivalent or closely aligned targets: wd

Linkages

Generated from the canonical mapping DSL. SSSOM files are the generated public interchange form for term equivalences.

Term Equivalences