doxastic claim

The StandpointClaim that carries the qualitative belief value (claimModality) for a DoxasticState. Reuses the existing standpoint vocabulary without domain-clashing claimModality (whose domain is StandpointClaim) onto DoxasticState (Principle 6). The claim's vantage is the believing agent, its observedFeature is the proposition, and its claimModality is the qualitative value (unequivocal, probable, conceivable, refuted, bullshit).

Structure

Property shape: object property; gmeow:DoxasticState -> gmeow:StandpointClaim; functional

Practical Pattern

Use gmeow:doxasticClaim from gmeow:DoxasticState 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

@prefix gmeow: <https://blackcatinformatics.ca/gmeow/> .
@prefix ex:    <https://blackcatinformatics.ca/gmeow/examples/epistemics/> .
@prefix rdfs:  <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:   <http://www.w3.org/2001/XMLSchema#> .



# --- Original belief (high credence, unequivocal) -----------------------------
ex:originalBelief a gmeow:DoxasticState ;
    rdfs:label "original belief: the printer is broken"@en ;
    gmeow:epistemicAgent ex:operator ;
    gmeow:doxasticContent ex:propPrinterBroken ;
    gmeow:credence "0.92"^^xsd:decimal ;
    gmeow:doxasticClaim ex:originalClaim .

# --- Revised belief (lower credence, probable) --------------------------------
ex:revisedBelief a gmeow:DoxasticState ;
    rdfs:label "revised belief: printer may be broken"@en ;
    gmeow:epistemicAgent ex:operator ;
    gmeow:doxasticContent ex:propPrinterBroken ;
    gmeow:credence "0.35"^^xsd:decimal ;
    gmeow:doxasticClaim ex:revisedClaim .

Flagship Epistemic Ledger

@prefix gmeow: <https://blackcatinformatics.ca/gmeow/> .
@prefix ex:    <https://blackcatinformatics.ca/gmeow/examples/epistemics/flagship/> .
@prefix rdfs:  <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:   <http://www.w3.org/2001/XMLSchema#> .



# --- Original credence-weighted belief (operator) --------------------------------
ex:opBeliefOriginal a gmeow:DoxasticState ;
    rdfs:label "original belief: LLM recalled the meeting date correctly"@en ;
    gmeow:epistemicAgent ex:operator ;
    gmeow:doxasticContent ex:propRecall ;
    gmeow:doxasticClaim ex:opClaimOriginal ;
    gmeow:credence "0.85"^^xsd:decimal ;
    gmeow:justifiedBy ex:evidenceSpan1 .

# --- Revised belief after a defeater ---------------------------------------------
ex:opBeliefRevised a gmeow:DoxasticState ;
    rdfs:label "revised belief: LLM probably misremembered the meeting date"@en ;
    gmeow:epistemicAgent ex:operator ;
    gmeow:doxasticContent ex:propRecall ;
    gmeow:doxasticClaim ex:opClaimRevised ;
    gmeow:credence "0.30"^^xsd:decimal .

Common Companion Terms

gmeow:DoxasticState, gmeow:StandpointClaim

Usage Advice

Use when

Avoid when

How to use

Examples