competes with
- CURIE:
gmeow:competesWith - IRI: https://blackcatinformatics.ca/gmeow/competesWith
- Category: property
- Defined by:
gmeow:slices/inference - Box roles: RBox role (What is this?)
Relates two rival gmeow:StandpointClaim hypotheses that cannot both be accepted as the best explanation — the competition abductive (and analogical) selection resolves. Symmetric: competition is mutual. Irreflexivity (a claim never competes with itself) is enforced by SHACL, not OWL, keeping the DL profile clean (the deception discipline — doctrine in SHACL, not axioms).
Structure
Property shape: object property; gmeow:StandpointClaim -> gmeow:StandpointClaim
Practical Pattern
Use gmeow:competesWith from gmeow:StandpointClaim to gmeow:StandpointClaim 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.
Abduction
- Source:
slices/core/inference/examples/abduction.ttl - Examples catalog: open in catalog#example-slices-core-inference-examples-abduction
@prefix gmeow: <https://blackcatinformatics.ca/gmeow/> .
@prefix ex: <https://blackcatinformatics.ca/gmeow/examples/inference/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
# SPDX-FileCopyrightText: 2026 Blackcat Informatics® Inc. <paudley@blackcatinformatics.ca>
# SPDX-License-Identifier: CC-BY-4.0
#
# Worked example — ABDUCTION (inference to the best explanation), the FULL CHAIN.
#
# This example exercises all three fidelity tiers and the endurant/occurrent
# split end to end:
#
# gmeow:InferenceProcess --hasInferenceCommitment--> gmeow:InferenceCommitment
# (the occurrent reasoning episode) (the endurant argument)
# | |
# producesMentalMoment conclusion
# v v
# the accepted belief is the agent's attitude gmeow:StandpointClaim
# (gmeow:MentalMoment) toward the winning ------> (the conclusion content)
# hypothesis
#
# A clinician observes a fever and reasons to its best explanation. Two
# candidate hypotheses compete (gmeow:competesWith); each is scored by a
# solver-layer gmeow:explanatoryScore (Principle 12 — there is no isBest bit).
# The winner's modality is promoted gmeow:conceivable -> gmeow:probable; the
# loser is SUPPRESSED (gmeow:displayable false), never deleted (Principle 10).
# Winner: influenza — best explains the high fever; promoted to probable.
ex:hypInfluenza a gmeow:StandpointClaim ;
rdfs:label "Hypothesis: influenza"@en ;
gmeow:vantage ex:clinician ;
gmeow:observedFeature ex:propFlu ;
gmeow:observationMethod gmeow:methodExpertJudgement ;
gmeow:claimModality gmeow:probable ; # promoted conceivable -> probable (the winner)
gmeow:explains ex:fever ; # solver back-check: would account for the fever
gmeow:explanatoryScore "0.86"^^xsd:decimal ; # solver-layer (Principle 12)
gmeow:competesWith ex:hypCold . # symmetric; irreflexive by SHACL