has inference commitment
- CURIE:
gmeow:hasInferenceCommitment - IRI: https://blackcatinformatics.ca/gmeow/hasInferenceCommitment
- Category: property
- Defined by:
gmeow:slices/inference - Box roles: RBox role (What is this?)
Relates an occurrent gmeow:InferenceProcess (the reasoning episode) to the endurant gmeow:InferenceCommitment (the argument structure) it instantiates — the bridge across the gUFO endurant/occurrent divide that keeps the two faces of inference distinct yet linked. NOT functional: one reasoning episode may settle several arguments.
Structure
Property shape: object property; gmeow:InferenceProcess -> gmeow:InferenceCommitment
Practical Pattern
Use gmeow:hasInferenceCommitment from gmeow:InferenceProcess 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.
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)