tenure of doxastic state
- CURIE:
gmeow:tenureOfDoxasticState - IRI: https://blackcatinformatics.ca/gmeow/tenureOfDoxasticState
- Category: property
- Defined by:
gmeow:slices/epistemics - Box roles: RBox role (What is this?)
Relates a DoxasticTenure to the DoxasticState whose holding interval it records. Functional: one tenure scopes one doxastic state; a revised belief gets a new DoxasticState and a new tenure, while the old state and closed tenure remain as audit (Principle 10).
Structure
Property shape: object property; gmeow:DoxasticTenure -> gmeow:DoxasticState; functional
Practical Pattern
Use gmeow:tenureOfDoxasticState from gmeow:DoxasticTenure to gmeow:DoxasticState 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/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:DoxasticTenure, gmeow:DoxasticState
Usage Advice
Use when
- Use to bind a
DoxasticTenureto theDoxasticStateit time-scopes.
Avoid when
- Avoid for the interval (use
duringInterval) and avoid pointing at more than one doxastic state per tenure.
How to use
- Set exactly once per
DoxasticTenure, pairing it withduringInterval.
Examples
- ex:aliceRoundTenure
gmeow:tenureOfDoxasticStateex:aliceBelievesRound.