conceivable (◊, possible)

◊_S — possible according to the standpoint: the proposition holds in some precisification the standpoint admits, but is not settled (CRMinf belief value 'possible').

Structure

Types: gmeow:StandpointModality

Practical Pattern

Use gmeow:conceivable as a controlled value typed as gmeow:StandpointModality.

Example Snippets

These snippets are generated from canonical slice examples and trimmed to the Turtle blocks where this term appears.

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)
#            |                                                   |
#       realizesMoment                                      conclusion
#            v                                                   v
#       the accepted belief  <--- (the winning hypothesis) ---  gmeow:StandpointClaim
#
# 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).

# 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

gmeow:StandpointModality