imagined world

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

Relates an imagining or supposition to the imagined / counterfactual WORLD it explores — the reified context within which the as-if content is evaluated. Both the DOMAIN and the RANGE are left intentionally OPEN: the subject is typically an imagining act or a supposition statement, and the target is a logic:World (the counterfactual-world machinery of slices/core/logic), but the link is carried BY REFERENCE — no triple is asserted into the logic: namespace and logic is not a declared dependency, so the slice stays DL-clean standalone (the inference-slice precedent). NOT functional: one rehearsal may explore several worlds.

Structure

Property shape: object property

Practical Pattern

Use gmeow:imaginedWorld when the definition matches the source fact. Prefer a narrower GMEOW term when one exists, and keep projection concerns in the mapping layer.

Example Snippets

These snippets are generated from canonical slice examples and trimmed to the Turtle blocks where this term appears.

Counterfactual Rehearsal

• Source: slices/core/imagination/examples/counterfactual-rehearsal.ttl
• Examples catalog: open in catalog#example-slices-core-imagination-examples-counterfactual-rehearsal

@prefix gmeow: <https://blackcatinformatics.ca/gmeow/> .
@prefix logic: <https://blackcatinformatics.ca/logic/> .
@prefix ex:    <https://blackcatinformatics.ca/gmeow/examples/imagination/> .
@prefix rdfs:  <http://www.w3.org/2000/01/rdf-schema#> .



# SPDX-FileCopyrightText: 2026 Blackcat Informatics® Inc. <paudley@blackcatinformatics.ca>
# SPDX-License-Identifier: CC-BY-4.0
#
# Worked example — counterfactual rehearsal. An agent SUPPOSES a proposition (a
# what-if premise), opening an imagined gmeow:imaginedWorld (a logic:World, BY
# REFERENCE — no triple is asserted INTO the logic: namespace by the module; the
# example merely instantiates the open-range target), and IMAGINES the scene that
# would obtain in it. The supposed premise and the imagined scene carry their
# reality-monitoring source via gmeow:contentOrigin (originSupposed / originImagined),
# so nothing here is mistaken for a perceived or remembered fact. No truth bit
# anywhere: supposing and imagining assert neither truth nor commitment.

# --- The supposition and the imagining are scoped to that imagined world.
ex:interestRatesDouble gmeow:imaginedWorld ex:worldRatesDouble .
ex:recessionScene gmeow:imaginedWorld ex:worldRatesDouble .

Usage Advice

Use when

• Use to link an imagining or supposition to the counterfactual world it explores — for planning rollouts, what-if rehearsal, and the antecedent-world of a conditional — pointing at a logic:World (by reference) that holds the as-if content.

Avoid when

• Avoid asserting the target as a logic:-namespaced triple or declaring logic as a dependency (the link is by reference, keeping the slice DL-clean) and avoid making it functional; a single rehearsal may branch into several imagined worlds.

How to use

• Point the imagining act or supposition statement at the logic:World it explores (by reference, no asserted logic: triple); scope the as-if content to that world and read modal consequences off the logic: machinery, leaving world construction and search to the solver layer (Principle 12).

Scope notes

• By-reference world linkage (Principle 5): the range is documented in prose as logic:World rather than asserted, exactly as the inference slice references the logic: strength axes without importing logic. This is the seam at which imagination USES the modal machinery — a supposition opens a counterfactual world and the imagining explores it — without coupling the slice's import closure to logic:.

Examples

• ex:rainRehearsal gmeow:imaginedWorld ex:worldWhereItRains.