reasoning
- CURIE:
gmeow:processReasoning - IRI: https://blackcatinformatics.ca/gmeow/processReasoning
- Category: individual
- Defined by:
gmeow:slices/mentation - Box roles: ABox role (What is this?)
A reasoning episode — inference as it unfolds in time, drawing a conclusion from premises. The occurrent face of a gmeow:InferenceProcess (inference slice).
Structure
Types: gmeow:MentalProcessType
Practical Pattern
Use gmeow:processReasoning as a controlled value typed as gmeow:MentalProcessType.
Example Snippets
These snippets are generated from canonical slice examples and trimmed to the Turtle blocks where this term appears.
Mental Timeline
- Source:
slices/core/mentation/examples/mental-timeline.ttl - Examples catalog: open in catalog#example-slices-core-mentation-examples-mental-timeline
@prefix gmeow: <https://blackcatinformatics.ca/gmeow/> .
@prefix ex: <https://blackcatinformatics.ca/gmeow/examples/mentation/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
ex:solvingTheProof a gmeow:MentalProcess ;
rdfs:label "Ada's reasoning through the proof of QED"@en ;
gmeow:experiencer ex:ada ;
gmeow:mentalProcessType gmeow:processReasoning ; # an inference episode unfolding in time
gmeow:eventTime "2026-06-15T09:30:00Z"^^xsd:dateTime ;
gmeow:eventTemporalFrame gmeow:temporalFrameUTCGregorian ;
gmeow:producesMentalMoment ex:beliefQEDholds . # creation: reasoning brings this NEW belief into being
Abduction
- Source:
slices/core/inference/examples/abduction.ttl - Examples catalog: open in catalog#example-slices-core-inference-examples-abduction
@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 occurrent reasoning episode (perdurant) ---------------------------- #
ex:diagnosticReasoning a gmeow:InferenceProcess ;
rdfs:label "The clinician's diagnostic reasoning episode"@en ;
gmeow:experiencer ex:clinician ; # functional: one episode, one reasoner
gmeow:mentalProcessType gmeow:processReasoning ; # the canonical occurrent marker (no eventTypeInference)
gmeow:eventTime "2026-06-15T10:05:00Z"^^xsd:dateTime ;
gmeow:eventTemporalFrame gmeow:temporalFrameUTCGregorian ;
gmeow:hasInferenceCommitment ex:abductiveCommitment ; # occurrent -> endurant bridge
gmeow:producesMentalMoment ex:beliefInfluenza . # production: reasoning creates this new belief (a MentalMoment)