has defeater

• CURIE: gmeow:hasDefeater
• IRI: https://blackcatinformatics.ca/gmeow/hasDefeater
• Category: property
• Defined by: gmeow:slices/inference

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 .

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