warrant

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

The warrant of a reified gmeow:InferenceCommitment — the Toulmin licence authorising the step from premises to conclusion. For a deductive commitment it points at the logic: rule or proof-trace; for an inductive one, the statistical licence; for an abductive one, the explanatory licence; for an analogical one, the gmeow:Analogy (structure-mapping). NOT functional.

Structure

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

Practical Pattern

Use gmeow:warrant from gmeow:InferenceCommitment 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#> .



# --- 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: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

Common Companion Terms

gmeow:InferenceCommitment

Usage Advice

Scope notes

• Range is intentionally OPEN: the warrant may be a logic: derivation, an gmeow:Analogy, an evidence object, or a textual rule. The substrate coupling to logic: is by reference (no asserted triples into logic:).