doubts
- CURIE:
gmeow:doubts - IRI: https://blackcatinformatics.ca/gmeow/doubts
- Category: property
- Defined by:
gmeow:slices/epistemics - Box roles: RBox role (What is this?)
An agent holds a proposition in doubt — a low-credence, unsettled doxastic attitude: weaker than believing, and distinct from settled disbelief (a refuted gmeow:standpointModality on the statement). Range OPEN, like gmeow:believes. Non-functional.
Structure
Property shape: object property; gmeow:Agent -> ?
Practical Pattern
Use gmeow:doubts from gmeow:Agent 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.
Flagship Epistemic Ledger
- Source:
slices/core/epistemics/examples/flagship-epistemic-ledger.ttl - Examples catalog: open in catalog#example-slices-core-epistemics-examples-flagship-epistemic-ledger
@prefix gmeow: <https://blackcatinformatics.ca/gmeow/> .
@prefix ex: <https://blackcatinformatics.ca/gmeow/examples/epistemics/flagship/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
ex:skeptic gmeow:doubts ex:propRecall .
Common Companion Terms
Usage Advice
Use when
- Use to record an agent's low-credence, unsettled leaning against a proposition — weaker than belief and not yet settled disbelief — when the wavering itself is what you want to capture.
Avoid when
- Avoid for settled disbelief (that is a refuted
gmeow:standpointModalityon the statement, a standpoint's explicit denial, never a factive knowledge verdict) and for full agnostic withholding (usegmeow:suspendsJudgementOn); doubt is a leaning, not a balanced suspension.
How to use
- Point the agent at the proposition or reified statement; if the doubt hardens into denial, model that as a refuted
gmeow:standpointModalityon aStandpointClaimrather than overloadinggmeow:doubts, and let competing attitudes coexist (it is non-functional).
Examples
- ex:alice
gmeow:doubtsex:earthIsRound.