contradicts claim

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

Relates a contradiction to one of the claim nodes in conflict — at least two per contradiction (SHACL; the OWL existential documents the relator's relata for the reasoner). The range is intentionally open: a claim node is a gmeow:StandpointClaim, another Observation, or an RDF 1.2 statement reifier, and a range assertion would leak one form's typing onto the others (the tenurePosition precedent, standpoint slice).

Structure

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

Practical Pattern

Use gmeow:contradictsClaim from gmeow:Contradiction 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.

Grounded Claim

• Source: slices/core/ai/examples/grounded-claim.ttl
• Examples catalog: open in catalog#example-slices-core-ai-examples-grounded-claim

# --- The conflict, SURFACED and attributed — never resolved by rank (P9).
ex:contradiction-close a gmeow:Contradiction ;
    gmeow:contradictsClaim ex:claim-close-2200, ex:claim-close-2300 ;
    gmeow:contradictionKind gmeow:contradictionKindNumeric ;
    gmeow:detectedBy ex:auditor .

Common Companion Terms

gmeow:Contradiction

Usage Advice

Use when

• Use to bind a gmeow:Contradiction to each claim node in conflict — at least two, since a contradiction needs both sides to be a conflict.

Avoid when

• Avoid asserting a range on it (the range is left open so it admits StandpointClaim, other Observations, and RDF 1.2 statement reifiers alike) and avoid binding only one claim — the SHACL shape requires at least two.

How to use

• Assert gmeow:contradictsClaim from the Contradiction to two or more claim nodes of any form; the OWL existential documents the relata for the reasoner while SHACL enforces the minimum of two.

Examples

• ex:conflict1 gmeow:contradictsClaim ex:claimA, ex:claimB.