inference mode
- CURIE:
gmeow:inferenceMode - IRI: https://blackcatinformatics.ca/gmeow/inferenceMode
- Category: property
- Defined by:
gmeow:slices/inference - Box roles: RBox role (What is this?)
The Peircean mode by which a gmeow:StandpointClaim was reached — a gmeow:InferenceMode value (gmeow:modeDeduction / modeInduction / modeAbduction / modeAnalogical). NOT functional: a claim independently reached by parallel modes carries several. The flat counterpart of gmeow:inferenceModeOf on the reified commitment.
Structure
Property shape: object property; gmeow:StandpointClaim -> gmeow:InferenceMode
Practical Pattern
Use gmeow:inferenceMode from gmeow:StandpointClaim to gmeow:InferenceMode 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 reified argument (endurant relator) -------------------------------- #
ex:abductiveCommitment a gmeow:InferenceCommitment ;
rdfs:label "Abductive argument: best explanation of the fever"@en ;
gmeow:inferenceModeOf gmeow:modeAbduction ;
gmeow:premise ex:symptomObservation ; # >= 1 premise, != conclusion (SHACL)
gmeow:explanandum ex:fever ;
gmeow:candidateHypothesis ex:hypInfluenza , ex:hypCold ;
gmeow:conclusion ex:hypInfluenza ; # exactly one conclusion = the winner
gmeow:warrant "inference to the best explanation: influenza maximises explanatory score"@en .
Analogy
- Source:
slices/core/inference/examples/analogy.ttl - Examples catalog: open in catalog#example-slices-core-inference-examples-analogy
@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#> .
ex:conclElectronsOrbit a gmeow:StandpointClaim ;
rdfs:label "By analogy: electrons orbit the nucleus"@en ;
gmeow:vantage ex:physicist ;
gmeow:observedFeature ex:propElectronsOrbitNucleus ;
gmeow:observationMethod gmeow:methodExpertJudgement ;
gmeow:claimModality gmeow:probable ; # not truth-preserving → probable
gmeow:inferenceMode gmeow:modeAnalogical ;
gmeow:inferredFrom ex:premOrbits .
ex:analogicalCommitment a gmeow:InferenceCommitment ;
rdfs:label "Analogical argument: solar-system structure transferred to the atom"@en ;
gmeow:inferenceModeOf gmeow:modeAnalogical ;
gmeow:premise ex:premOrbits ;
gmeow:conclusion ex:conclElectronsOrbit ;
gmeow:warrant ex:rutherfordAnalogy . # the warrant IS the structure-mapping