explains
- CURIE:
gmeow:explains - IRI: https://blackcatinformatics.ca/gmeow/explains
- Category: property
- Defined by:
gmeow:slices/inference - Box roles: RBox role (What is this?)
Relates a candidate hypothesis (a gmeow:StandpointClaim) to an explanandum it would account for — the explanatory link a solver back-checks (does the hypothesis, with the background, entail the explanandum?). NOT functional.
Structure
Property shape: object property; gmeow:StandpointClaim -> ?
Practical Pattern
Use gmeow:explains from gmeow:StandpointClaim to ? 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#> .
# 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
# Loser: common cold — a weaker explanation of a high fever; SUPPRESSED.
ex:hypCold a gmeow:StandpointClaim ;
rdfs:label "Hypothesis: common cold (rejected, retained as audit)"@en ;
gmeow:vantage ex:clinician ;
gmeow:observedFeature ex:propCold ;
gmeow:observationMethod gmeow:methodExpertJudgement ;
gmeow:claimModality gmeow:conceivable ; # never promoted
gmeow:explains ex:fever ;
gmeow:explanatoryScore "0.41"^^xsd:decimal ;
gmeow:displayable false . # Principle 10: suppressed, not erased
Common Companion Terms
Usage Advice
Scope notes
- Range is intentionally OPEN (it points at whatever the explanandum is). The back-check is solver-layer (Principle 12).