Inference Tenure

The reified, time-scoped fact that an gmeow:InferenceCommitment's conclusion was held over an interval — opened when the conclusion is accepted and closed when a defeater fires, never deleted (Principle 10). Belief revision is the closing of a tenure (and gmeow:displayable false on the conclusion-claim), not the erasure of the commitment, which survives as audit. Carries its interval via gmeow:duringInterval (temporal module). Use only when the adoption / retraction of the conclusion is itself worth modelling; the common case is a bare claim with its modality.

Structure

Subclass of: gmeow:TimeScopedRelation

Practical Pattern

Use gmeow:InferenceTenure 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

@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#> .



# SPDX-FileCopyrightText: 2026 Blackcat Informatics® Inc. <paudley@blackcatinformatics.ca>
# SPDX-License-Identifier: CC-BY-4.0
#
# Worked example — BELIEF REVISION as SUPPRESSION (Principle 10), the headline.
#
# An agent inductively concluded "the printer is broken" from "it did not print".
# Later a defeater arrives — "the document was never sent to the queue" — an
# UNDERCUTTING defeater (Pollock): it does not assert the negation, it removes
# the warrant (the failure no longer licenses 'broken'). Revision does NOT delete
# anything:
#   * the conclusion-claim is set gmeow:displayable false (suppressed from view);
#   * the gmeow:InferenceTenure is CLOSED (an gmeow:endedAtTime on its interval);
#   * the gmeow:InferenceCommitment is RETAINED as audit.
# The whole episode remains queryable — how the agent believed, and why it stopped.

# --- The tenure — opened then closed (never deleted) ------------------------ #
ex:brokenBeliefTenure a gmeow:InferenceTenure ;
    rdfs:label "The held interval of the 'printer is broken' conclusion"@en ;
    gmeow:tenureOf ex:revisedCommitment ;
    gmeow:duringInterval ex:tenureInterval .

Reflection Revision

# SPDX-FileCopyrightText: 2026 Blackcat Informatics® Inc. <paudley@blackcatinformatics.ca>
# SPDX-License-Identifier: CC-BY-4.0
#
# Worked example — REFLECTION defeating one's own inference, belief revision as
# SUPPRESSION (Principle 10). The metacognition layer over the inference slice's
# belief-revision pattern: Lillith inductively concluded "the server is down" from
# "the ping timed out". On REFLECTION (a gmeow:Event typed gmeow:eventTypeReflection,
# tied to the reflexive layer by a gmeow:MetacognitiveState whose gmeow:metaTarget
# is her OWN gmeow:InferenceCommitment) she surfaces an UNDERCUTTING defeater — a
# firewall rule blocked the ping, removing the warrant. Revision does NOT delete:
# the conclusion-claim is set gmeow:displayable false, the gmeow:InferenceTenure is
# closed, and the gmeow:InferenceCommitment is retained as audit. The defeater is
# installed via the inference slice's gmeow:hasDefeater (reused by reference); the
# reflection → revision link is a documented bridge, never an axiom.
@prefix gmeow: <https://blackcatinformatics.ca/gmeow/> .
@prefix ex:    <https://blackcatinformatics.ca/gmeow/examples/metacognition/> .
@prefix rdfs:  <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:   <http://www.w3.org/2001/XMLSchema#> .

# --- The tenure — opened then closed (never deleted, Principle 10).
ex:serverDownTenure a gmeow:InferenceTenure ;
    rdfs:label "The held interval of the 'server is down' conclusion"@en ;
    gmeow:tenureOf ex:revisedCommitment ;
    gmeow:duringInterval ex:tenureInterval .

Common Companion Terms

gmeow:TimeScopedRelation