Contradiction

• CURIE: gmeow:Contradiction
• IRI: https://blackcatinformatics.ca/gmeow/Contradiction
• Category: class
• Defined by: gmeow:slices/ai
• Box roles: TBox role (What is this?)

A reified conflict between two or more claim nodes — surfaced, attributed (gmeow:detectedBy), kind-classified (gmeow:contradictionKind), and NEVER resolved by rank. Conflicting claims coexist accordingTo their standpoints (P9); a standpoint may mark one refuted via the EXISTING gmeow:claimModality, but no winner machinery exists anywhere in the graph. Detection is itself contestable: two detectors disagreeing are two Contradiction individuals.

Structure

Subclass of: gufo:Relator

Practical Pattern

Use gmeow:Contradiction as a specialized kind of gufo:Relator. Add statement metadata or a standpoint when the assertion needs provenance, confidence, or vantage.

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 .

External Equivalences

Equivalent or closely aligned targets: wd

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 SURFACE a conflict between two or more claim nodes as a first-class, attributed, kind-classified relator — making disagreement queryable without choosing a winner (P9).

Avoid when

• Avoid using it to resolve or rank the conflict (no winner machinery exists — conflicting claims coexist accordingTo their standpoints, and a standpoint marks one refuted via gmeow:claimModality) and avoid treating detection as settled; rival detectors are separate Contradiction individuals.

How to use

• Mint a gmeow:Contradiction, bind at least two claim nodes with gmeow:contradictsClaim, attribute it with gmeow:detectedBy, classify it with gmeow:contradictionKind; leave resolution to standpoint-level gmeow:claimModality rather than deletion (P10).

Examples

• ex:conflict1 a gmeow:Contradiction; gmeow:contradictsClaim ex:claimA, ex:claimB; gmeow:detectedBy ex:nliJudge; gmeow:contradictionKind gmeow:contradictionKindFactual.

Use For Consumers

• gmeow:consumerInternalArchive
• gmeow:consumerResearchQueue

Avoid For Consumers

• gmeow:consumerFoafExport
• gmeow:consumerSchemaOrgJsonLd