tenure of
- CURIE:
gmeow:tenureOf - IRI: https://blackcatinformatics.ca/gmeow/tenureOf
- Category: property
- Defined by:
gmeow:slices/inference - Box roles: RBox role (What is this?)
Relates a gmeow:InferenceTenure to the gmeow:InferenceCommitment whose conclusion it time-scopes — opened when the conclusion is accepted, closed (an gmeow:endedAtTime on its gmeow:duringInterval) when a defeater fires. Functional: one tenure tracks one commitment; the commitment survives the closing as audit (the gmeow:StandpointTenure → gmeow:standpointClaim idiom, applied to inference).
Structure
Property shape: object property; gmeow:InferenceTenure -> gmeow:InferenceCommitment; functional
Practical Pattern
Use gmeow:tenureOf from gmeow:InferenceTenure to gmeow:InferenceCommitment 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/inference/examples/belief-revision.ttl - Examples catalog: open in catalog#example-slices-core-inference-examples-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#> .
# --- 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 .
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 .