refuted (□¬, false)
- CURIE:
gmeow:refuted - IRI: https://blackcatinformatics.ca/gmeow/refuted
- Category: individual
- Defined by:
gmeow:slices/standpoint - Box roles: ABox role, CBox role (What is this?)
□¬_S — settled false according to the standpoint: the standpoint DENIES the proposition (CRMinf belief value 'false'). Distinct from silence (no claim) and from low gmeow:confidence — an explicit, recorded denial. The proposition is carried as the subject of the denial, never asserted as a fact of the universal standpoint.
Structure
Types: gmeow:StandpointModality
Practical Pattern
Use gmeow:refuted 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.
Contested Authorship
- Source:
slices/core/standpoint/examples/contested-authorship.ttl - Examples catalog: open in catalog#example-slices-core-standpoint-examples-contested-authorship
# SPDX-FileCopyrightText: 2026 Blackcat Informatics® Inc. <paudley@blackcatinformatics.ca>
# SPDX-License-Identifier: CC-BY-4.0
#
# Worked example: contested claims coexist, none privileged ( P9). Two
# scholars attribute the same play to different authors. Each attribution is a
# reified gmeow:StandpointClaim (a kind of Observation) carrying its own
# gmeow:vantage (whose standpoint), gmeow:observationResult (the claimed author),
# and gmeow:claimModality (HOW the standpoint holds it). A third standpoint does
# something flat models cannot express: it gmeow:refuted the Marlowe attribution
# — an explicit DENIAL, distinct from mere silence. There is no "preferred"
# author: the graph keeps every standpoint's stance side by side.
@prefix gmeow: <https://blackcatinformatics.ca/gmeow/> .
@prefix ex: <https://blackcatinformatics.ca/gmeow/examples/standpoint/> .
# --- Claim 3: a stylometric panel REFUTES the Marlowe attribution — settled
# false, an explicit denial rather than silence. It coexists with claim 1.
ex:refuteMarlowe a gmeow:StandpointClaim ;
gmeow:vantage ex:forensicPanel ;
gmeow:observedFeature ex:play ;
gmeow:observationResult ex:marlowe ;
gmeow:observationMethod gmeow:methodComputationalModel ;
gmeow:claimModality gmeow:refuted .
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:skepticDenial a gmeow:StandpointClaim ;
rdfs:label "skeptic's standpoint-indexed denial"@en ;
gmeow:vantage ex:skeptic ;
gmeow:observedFeature ex:propRecall ;
gmeow:claimModality gmeow:refuted ;
gmeow:observationMethod gmeow:methodExpertJudgement .