Justification Status

• CURIE: gmeow:JustificationStatus
• IRI: https://blackcatinformatics.ca/gmeow/JustificationStatus
• Category: class
• Defined by: gmeow:slices/epistemics
• Box roles: TBox role (What is this?)

A value vocabulary for justification-defeat states of a doxastic state or standpoint-claim — solver-set flags such as Gettier-case, defeated, undercut, and rebutted. These are quality values (gufo:QualityValue) attached via gmeow:defeatedBy; the reasoner never infers them (Principle 12).

Structure

Subclass of: gufo:QualityValue

Practical Pattern

Use gmeow:JustificationStatus as a specialized kind of gufo:QualityValue. Add statement metadata or a standpoint when the assertion needs provenance, confidence, or vantage.

Usage Advice

Use when

• Use as the value vocabulary when a solver marks a gmeow:DoxasticState or gmeow:StandpointClaim with a justification-defeat status.

Avoid when

• Avoid using it as a global truth predicate or letting the reasoner promote/derogate statuses; it is a solver annotation only.

How to use

• Reference one of the seeded individuals from a defeatedBy link on a gmeow:DoxasticState or gmeow:StandpointClaim; align undercut/rebutted with the inference slice's Pollock defeater kinds (gmeow:defeaterUndercutting / gmeow:defeaterRebutting).

Examples

• ex:aliceBelievesRound gmeow:defeatedBy gmeow:justificationStatusGettier.