Inference Process

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

The occurrent reasoning episode — inference as it unfolds in time, drawing a conclusion from premises. The perdurant face of inference: a gmeow:MentalProcess borne by exactly one gmeow:experiencer and carrying gmeow:mentalProcessType gmeow:processReasoning, the reparenting hook the mentation slice reserves. It gmeow:producesMentalMoment the belief it creates and reaches its argument structure via gmeow:hasInferenceCommitment. Distinct from the endurant gmeow:InferenceCommitment (the argument relation it instantiates) — keeping the gUFO endurant/occurrent split clean.

Structure

Subclass of: gmeow:MentalProcess

Practical Pattern

Use gmeow:InferenceProcess as a specialized kind of gmeow:MentalProcess. 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.

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



# SPDX-FileCopyrightText: 2026 Blackcat Informatics® Inc. <paudley@blackcatinformatics.ca>
# SPDX-License-Identifier: CC-BY-4.0
#
# Worked example — ABDUCTION (inference to the best explanation), the FULL CHAIN.
#
# This example exercises all three fidelity tiers and the endurant/occurrent
# split end to end:
#
#   gmeow:InferenceProcess  --hasInferenceCommitment-->  gmeow:InferenceCommitment
#       (the occurrent reasoning episode)                  (the endurant argument)
#            |                                                   |
#       producesMentalMoment                               conclusion
#            v                                                   v
#       the accepted belief        is the agent's attitude    gmeow:StandpointClaim
#       (gmeow:MentalMoment)        toward the winning ------> (the conclusion content)
#                                   hypothesis
#
# A clinician observes a fever and reasons to its best explanation. Two
# candidate hypotheses compete (gmeow:competesWith); each is scored by a
# solver-layer gmeow:explanatoryScore (Principle 12 — there is no isBest bit).
# The winner's modality is promoted gmeow:conceivable -> gmeow:probable; the
# loser is SUPPRESSED (gmeow:displayable false), never deleted (Principle 10).

# --- 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)

Common Companion Terms

gmeow:MentalProcess

External Equivalences

Equivalent or closely aligned targets: crminf, prov, wd

Linkages

Generated from the canonical mapping DSL. SSSOM files are the generated public interchange form for term equivalences.

Term Equivalences

Usage Advice

Scope notes

• The occurrent kind of an inference is recorded as gmeow:mentalProcessType gmeow:processReasoning, NOT as a dedicated gmeow:EventType value: an 'eventTypeInference' individual was deliberately NOT minted (Principle 4 — one canonical source), since processReasoning already names this occurrent fact on the mentation spine.