defeater kind
- CURIE:
gmeow:defeaterKind - IRI: https://blackcatinformatics.ca/gmeow/defeaterKind
- Category: property
- Defined by:
gmeow:slices/inference
The Pollock kind of a defeating gmeow:StandpointClaim — gmeow:defeaterRebutting (attacks the conclusion) or gmeow:defeaterUndercutting (attacks the inferential link). NOT functional: a single claim may defeat in more than one way.
Structure
Property shape: object property; gmeow:StandpointClaim -> gmeow:DefeaterKind
Practical Pattern
Use gmeow:defeaterKind from gmeow:StandpointClaim to gmeow:DefeaterKind 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 defeater (an undercutting one) ------------------------------------- #
ex:defeaterNeverQueued a gmeow:StandpointClaim ;
rdfs:label "Defeater: the document was never queued"@en ;
gmeow:vantage ex:operator ;
gmeow:observedFeature ex:propNeverQueued ;
gmeow:observationMethod gmeow:methodDirectObservation ;
gmeow:claimModality gmeow:unequivocal ;
gmeow:defeaterKind gmeow:defeaterUndercutting . # removes the warrant, not asserts the negation