Doxastic Tenure

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

The reified, time-scoped fact that a DoxasticState was held over an interval — the belief-revision history construct. Opened when the belief is adopted; closed (endedAtTime on the duringInterval) and suppressed with displayable false when the belief is revised or retracted. The old DoxasticState is retained as audit, never deleted (Principle 10). Carries its interval via gmeow:duringInterval (temporal module) and links to the scoped DoxasticState via tenureOfDoxasticState.

Structure

Subclass of: gmeow:TimeScopedRelation

Practical Pattern

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

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/epistemics/examples/belief-revision.ttl
• Examples catalog: open in catalog#example-slices-core-epistemics-examples-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#> .



ex:originalTenure a gmeow:DoxasticTenure ;
    rdfs:label "Original tenure of the 'printer is broken' belief"@en ;
    gmeow:tenureOfDoxasticState ex:originalBelief ;
    gmeow:duringInterval ex:originalInterval .

ex:revisedTenure a gmeow:DoxasticTenure ;
    rdfs:label "Revised tenure of the 'printer may be broken' belief"@en ;
    gmeow:tenureOfDoxasticState ex:revisedBelief ;
    gmeow:duringInterval ex:revisedInterval .

Flagship Epistemic Ledger

• Source: slices/core/epistemics/examples/flagship-epistemic-ledger.ttl
• Examples catalog: open in catalog#example-slices-core-epistemics-examples-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 open-ended tenure --------------------------------------------------
ex:opTenureOriginal a gmeow:DoxasticTenure ;
    rdfs:label "original tenure of the operator's belief"@en ;
    gmeow:tenureOfDoxasticState ex:opBeliefOriginal ;
    gmeow:duringInterval ex:originalInterval .

ex:opTenureRevised a gmeow:DoxasticTenure ;
    rdfs:label "revised tenure of the operator's belief"@en ;
    gmeow:tenureOfDoxasticState ex:opBeliefRevised ;
    gmeow:duringInterval ex:revisedInterval .

Common Companion Terms

gmeow:TimeScopedRelation

Usage Advice

Use when

• Use when the adoption, revision, or retraction of a belief over time is itself the fact of interest — the heavy form for belief-revision history.

Avoid when

• Avoid for the lightweight case where a bare gmeow:believes statement with validFrom/validUntil suffices; reify on demand (Principle 4).

How to use

• Mint one DoxasticTenure per DoxasticState adoption interval; point it at the DoxasticState via tenureOfDoxasticState and at a TimeInterval via duringInterval. On revision, close the interval with endedAtTime and set displayable false on the tenure; mint a new DoxasticState and tenure for the revised belief.

Examples

• ex:aliceRoundTenure a gmeow:DoxasticTenure; gmeow:tenureOfDoxasticState ex:aliceBelievesRound; gmeow:duringInterval ex:2019to2024.