detected by
- CURIE:
gmeow:detectedBy - IRI: https://blackcatinformatics.ca/gmeow/detectedBy
- Category: property
- Defined by:
gmeow:slices/ai - Box roles: RBox role (What is this?)
The agent (a person, an NLI model, an evaluation run's judge) that surfaced this contradiction. Attributed because detection is contestable. Not gmeow:vantage, which is domained on Observation — a Contradiction is a relator between claims, not itself a claim.
Structure
Property shape: object property; gmeow:Contradiction -> gmeow:Agent
Practical Pattern
Use gmeow:detectedBy from gmeow:Contradiction to gmeow:Agent 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, gmeow:Agent
Usage Advice
Use when
- Use to attribute a
gmeow:Contradictionto the agent that surfaced it — a person, an NLI model, or an eval run's judge — because detection is itself contestable.
Avoid when
- Avoid reaching for
gmeow:vantage(that is domained onObservation; aContradictionis a relator between claims, not a claim) and avoid omitting the detector — an unattributed contradiction cannot be contested.
How to use
- Assert
gmeow:detectedByat the detectinggmeow:Agent; rival detectors of the same conflict are separategmeow:Contradictionindividuals rather than several detectors on one.
Examples
- ex:conflict1
gmeow:detectedByex:nliJudge.