defeater kind
- CURIE:
gmeow:defeaterKind - IRI: https://blackcatinformatics.ca/gmeow/defeaterKind
- Category: property
- Defined by:
gmeow:slices/inference - Box roles: RBox role (What is this?)
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
Reflection Revision
- Source:
slices/core/metacognition/examples/reflection-revision.ttl - Examples catalog: open in catalog#example-slices-core-metacognition-examples-reflection-revision
# --- The defeater the reflection surfaces (undercutting: removes the warrant,
# does not assert the negation).
ex:defeaterFirewall a gmeow:StandpointClaim ;
rdfs:label "Defeater: a firewall rule blocked the ping"@en ;
gmeow:vantage ex:lillith ;
gmeow:observedFeature ex:propFirewall ;
gmeow:observationMethod gmeow:methodDirectObservation ;
gmeow:claimModality gmeow:unequivocal ;
gmeow:defeaterKind gmeow:defeaterUndercutting .