Goal
- CURIE:
gmeow:Goal - IRI: https://blackcatinformatics.ca/gmeow/Goal
- Category: class
- Defined by:
gmeow:slices/teleology - Box roles: TBox role (What is this?)
A described state of affairs that an agent may want, intend, or commit to bring about — the propositional content of the intentional modes, existing by social convention like every description (a gmeow:SocialObject). A goal asserts nothing and prescribes nothing by itself: it is satisfied by situations (gmeow:satisfiedBy), held by agents (gmeow:hasGoal or the reified modes), and partly defined by its named shadow (gmeow:counterGoal). Whether a given situation satisfies the goal is a vantage-indexed claim (Principle 9).
Structure
Subclass of: gmeow:SocialObject
Practical Pattern
Use gmeow:Goal as a specialized kind of gmeow:SocialObject. 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.
Goal And Intention
- Source:
slices/core/teleology/examples/goal-and-intention.ttl - Examples catalog: open in catalog#example-slices-core-teleology-examples-goal-and-intention
# SPDX-FileCopyrightText: 2026 Blackcat Informatics® Inc. <paudley@blackcatinformatics.ca>
# SPDX-License-Identifier: CC-BY-4.0
#
# Worked example: goals, intentions, and commitments. GMEOW separates the
# intentional moments gUFO keeps distinct: a gmeow:Goal is the SocialObject an
# agent aims at (gmeow:hasGoal); a gmeow:Intention is an intentional MODE borne by
# an agent that aims at that goal (gmeow:intentionGoal) and MOTIVATES concrete
# action (gmeow:motivates → an Event); a gmeow:Commitment is a relator binding a
# committed agent to a beneficiary. The desire-to / intend-to / commit-to layers
# are not collapsed — each is its own first-class moment.
@prefix gmeow: <https://blackcatinformatics.ca/gmeow/> .
@prefix ex: <https://blackcatinformatics.ca/gmeow/examples/teleology/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
# --- The goal: a social object the agent aims at.
ex:degreeGoal a gmeow:Goal ; rdfs:label "Earn a master's degree"@en .
Grounded Claim
- Source:
slices/core/ai/examples/grounded-claim.ttl - Examples catalog: open in catalog#example-slices-core-ai-examples-grounded-claim
ex:goal-answer-faithfully a gmeow:Goal ;
rdfs:label "answer facilities questions faithfully to the handbook"@en .
Common Companion Terms
Usage Advice
Use when
- Use to name the propositional content an agent may want, intend, or commit to — the shared target that the intentional modes and the flat
gmeow:hasGoalpoint at, and the thing a situation can satisfy.
Avoid when
- Avoid for the agent's holding of the goal (that is
gmeow:hasGoalor aDesire/Intention/Commitment) and for prescriptive force — aGoalprescribes nothing; obligatory conduct arrives via the norms extension, never on theGoalitself.
How to use
- Mint one
Goalindividual and share it across every agent and mode aiming at it; attachgmeow:counterGoalfor constitutive opposition andgmeow:satisfiedByfor achieving situations, recording disputed satisfaction as coexistinggmeow:accordingToclaims rather than a global verdict.
Examples
- ex:reachOrbit a
gmeow:Goal;gmeow:counterGoalex:scrubLaunch;gmeow:satisfiedByex:firstStableOrbit.