inferred from

• CURIE: gmeow:inferredFrom
• IRI: https://blackcatinformatics.ca/gmeow/inferredFrom
• Category: property
• Defined by: gmeow:slices/inference
• Box roles: RBox role (What is this?)

Relates a concluded gmeow:StandpointClaim to a premise it was inferred from — the flat, reification-free shortcut (the 80% case). NOT functional: a conclusion may rest on several premises. When the full argument structure matters, reify with a gmeow:InferenceCommitment (gmeow:pairsWith) whose gmeow:premise / gmeow:conclusion carry the same content.

Structure

Property shape: object property; gmeow:StandpointClaim -> ?

Practical Pattern

Use gmeow:inferredFrom 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.

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 .

Belief Revision

• Source: slices/core/inference/examples/belief-revision.ttl
• Examples catalog: open in catalog#example-slices-core-inference-examples-belief-revision

@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 conclusion — now SUPPRESSED, but retained.
ex:conclPrinterBroken a gmeow:StandpointClaim ;
    rdfs:label "Concluded (then retracted): the printer is broken"@en ;
    gmeow:vantage ex:operator ;
    gmeow:observedFeature ex:propPrinterBroken ;
    gmeow:observationMethod gmeow:methodExpertJudgement ;
    gmeow:claimModality gmeow:probable ;
    gmeow:inferenceMode gmeow:modeInduction ;
    gmeow:inferredFrom ex:premDidNotPrint ;
    gmeow:displayable false .                     # Principle 10: suppressed by the fired defeater

Common Companion Terms

gmeow:StandpointClaim

External Equivalences

Equivalent or closely aligned targets: prov

Linkages

Generated from the canonical mapping DSL. SSSOM files are the generated public interchange form for term equivalences.

Term Equivalences

Usage Advice

Scope notes

• Range is intentionally OPEN: a premise may be another gmeow:StandpointClaim, a gmeow:Proposition, an observation, or any reified statement. Mirrors the open-range precedent of gmeow:observedFeature.