believes

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

An agent holds a proposition to be true — the base doxastic attitude. Range is intentionally OPEN: the object may be a gmeow:Proposition, a reified statement, or any claim the agent holds (the five-minute-gate shortcut, Principle 13); the typed content link arrives at the reified doxastic state in a sibling child. Non-functional — an agent holds many beliefs, and contested beliefs coexist (Principle 9). How strongly, and from whose vantage, rides gmeow:standpointModality and gmeow:accordingTo on the statement, never a truth bit here.

Structure

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

Practical Pattern

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

Belief And Knowledge

• Source: slices/core/epistemics/examples/belief-and-knowledge.ttl
• Examples catalog: open in catalog#example-slices-core-epistemics-examples-belief-and-knowledge

@prefix gmeow: <https://blackcatinformatics.ca/gmeow/> .
@prefix ex:    <https://example.org/> .
@prefix rdfs:  <http://www.w3.org/2000/01/rdf-schema#> .



ex:ada a gmeow:Agent ;
    gmeow:knowsThat            ex:earthOrbitsSun ;   # entails gmeow:believes ex:earthOrbitsSun
    gmeow:believes            ex:coffeeIsHealthy ;
    gmeow:accepts             ex:nullHypothesis ;   # a working premise — NOT believed
    gmeow:suspendsJudgementOn ex:lifeOnEuropa .

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



# --- Non-factive knowsThat coexisting with standpoint-indexed denial -------------
# knowsThat is NON-FACTIVE: asserting it only entails gmeow:believes for the LLM;
# it commits no global truth verdict.
ex:llm gmeow:knowsThat ex:propRecall .

Common Companion Terms

gmeow:Agent

External Equivalences

Equivalent or closely aligned targets: sumo

Linkages

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

Term Equivalences

Usage Advice

Use when

• Use to record that an agent holds a proposition (or any reified statement / claim) to be true — the base doxastic attitude and the cheap 80% surface; how strongly and from whose vantage ride gmeow:standpointModality and gmeow:accordingTo on the holding statement.

Avoid when

• Avoid reading it as a global truth claim — believing is one agent's held attitude, never a factive knowledge verdict; for a merely entertained premise use gmeow:accepts (no belief), for the justified case use gmeow:knowsThat, and never force one belief to win in a merge (it is non-functional).

How to use

• Point the agent at a gmeow:Proposition or reified statement; carry strength and frame on gmeow:standpointModality / gmeow:accordingTo of the statement, and promote to the reified doxastic state (sibling child) only when credence, justification, or the mental moment must be first-class.

Scope notes

• believes is documented — not axiomatised — as riding gmeow:accordingTo on the statement (an owl:ObjectProperty cannot rdfs:subPropertyOf an owl:AnnotationProperty in OWL 2 DL; the gmeow:vantage / gmeow:accordingTo precedent). Realised in the projection layer.

Examples

• ex:alice gmeow:believes ex:earthIsRound.