explanatory score
- CURIE:
gmeow:explanatoryScore - IRI: https://blackcatinformatics.ca/gmeow/explanatoryScore
- Category: property
- Defined by:
gmeow:slices/inference - Box roles: RBox role (What is this?)
A solver-computed score of how well a candidate hypothesis explains its explanandum (simplicity, scope, coherence) — the basis on which inference-to-the-best-explanation ranks rivals. A solver-layer value (Principle 12), not an asserted truth: there is no isBest bit; the ranking promotes the winner's modality and suppresses the losers. NOT functional.
Structure
Property shape: datatype property; gmeow:StandpointClaim -> xsd:decimal
Practical Pattern
Use gmeow:explanatoryScore from gmeow:StandpointClaim to xsd:decimal 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#> .
# 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).
# Winner: influenza — best explains the high fever; promoted to probable.
ex:hypInfluenza a gmeow:StandpointClaim ;
rdfs:label "Hypothesis: influenza"@en ;
gmeow:vantage ex:clinician ;
gmeow:observedFeature ex:propFlu ;
gmeow:observationMethod gmeow:methodExpertJudgement ;
gmeow:claimModality gmeow:probable ; # promoted conceivable -> probable (the winner)
gmeow:explains ex:fever ; # solver back-check: would account for the fever
gmeow:explanatoryScore "0.86"^^xsd:decimal ; # solver-layer (Principle 12)
gmeow:competesWith ex:hypCold . # symmetric; irreflexive by SHACL