candidate hypothesis
- CURIE:
gmeow:candidateHypothesis - IRI: https://blackcatinformatics.ca/gmeow/candidateHypothesis
- Category: property
- Defined by:
gmeow:slices/inference - Box roles: RBox role (What is this?)
A candidate explanation considered by an abductive gmeow:InferenceCommitment — one of the competing hypotheses (gmeow:competesWith) among which the inference selects the best. NOT functional: inference-to-the-best-explanation weighs several. The winner's gmeow:claimModality is promoted conceivable->probable; the losers are suppressed (gmeow:displayable false), never erased.
Structure
Property shape: object property; gmeow:InferenceCommitment -> gmeow:StandpointClaim
Practical Pattern
Use gmeow:candidateHypothesis from gmeow:InferenceCommitment to gmeow:StandpointClaim 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 .