GMEOW Logic

IRI: https://blackcatinformatics.ca/gmeow/slices/logic
Tier: core
Group: core

What This Slice Covers

This slice owns 0 terms and contributes 0 mapping or projection rows. Use it when its terms match the native fact you want to preserve; use the linkage tables to see how those facts leave GMEOW for consumer vocabularies.

Consumers

The reasoning layer and every projection consumer: the native logic: solver is the reasoning authority, and OWL/Datalog/SHACL/Prolog/N3 reasoners consume generated views of it (Principle 17). Foundational by Principle 15: it serves every consumer by construction. The foundation vocabulary is now minted; the solver and generators are deferred to later rungs of the logic roadmap.

Design Documents

This slice includes slice-local design notes. They are authored beside the slice and rendered into the docs as part of the same deterministic documentation bundle.

Document	Source
Logic Conformance	`slices/core/logic/design/LOGIC-CONFORMANCE.md`
Logic Migration	`slices/core/logic/design/LOGIC-MIGRATION.md`
Logic References	`slices/core/logic/design/LOGIC-REFERENCES.md`
Logic Runtime	`slices/core/logic/design/LOGIC-RUNTIME.md`
Logic Semantics	`slices/core/logic/design/LOGIC-SEMANTICS.md`
Logic	`slices/core/logic/design/LOGIC.md`

Local Map

logic map

Guide

Logic — the `logic:` reasoning layer

Slice: https://blackcatinformatics.ca/gmeow/slices/logic · tier: core The maximally expressive, RDF 1.2-native logic in which GMEOW's model is authored, and of which every prior formalism (OWL, RDFS, SHACL, Datalog, Prolog, N3, SPARQL, and the gUFO/BFO/DOLCE upper ontologies) is a generated lossy projection — Constitution Principle 17.

This slice is the home of GMEOW Logic (logic:). The logic: namespace is registered and the foundation vocabulary is now minted: the UFO⁺ sorts (Kind/SubKind/Phase/Role/Category/Mixin/RoleMixin/PhaseMixin/Relator/Event/Situation), the foundation relations (rigidlyAppliesTo/suppliesIdentity/mediates), the semantic profiles (PositiveHornProfile, StratifiedNAFProfile, WellFoundedProfile, StableModelProfile, ProceduralPrologProfile, ProbabilisticProfile), the world/modal terms (World/accessibleFrom/counterfactualOf), the quantitative axes (probability/confidence/weight/evidenceStrength), and the preservation-polarity vocabulary (PreservationKind/preservationKind/complexityClass and their named individuals) are all declared as bare standalone terms that add no axioms to the reasoned core. The rules, solver, generators, runtime, and full conformance corpus remain deferred to later rungs of the logic roadmap.

The design set

The design is split by genre into five documents under design/, so it can be implemented against rather than only read:

Document	Genre	Contents
`design/LOGIC.md`	manifesto	vision, doctrine, lineage, target architecture
`design/LOGIC-SEMANTICS.md`	formal semantics	the unified core, triple-term/assertion rules, semantic profiles, modality, worlds, decidability
`design/LOGIC-RUNTIME.md`	runtime	solver architecture, the Nemo–Prolog seam, graph versioning, generated artifacts, CLI
`design/LOGIC-MIGRATION.md`	rollout	the MVP ladder, adapter phases, gates, deprecations, the design risk register
`design/LOGIC-CONFORMANCE.md`	contract	the conformance corpus and the loss-ledger preservation contract
`design/LOGIC-REFERENCES.md`	appendix	external standards, theory, and engines cited — staged for the `metadata/references.ttl` ledger

What it commits to

The logic is canonical; OWL is a projection of it, not its ceiling. logic: is RDF 1.2-native and Turing-complete by intent; decidability is a property of a projection or a declared profile, never a cap on what the canonical model may say.
The foundation is authored in logic: (UFO⁺). gUFO is its primary generated down-projection; BFO, DOLCE, and SUMO are generated bridge views, not truth-preserving projections. The OntoUML discipline that lives in external lint becomes actual axioms, with the lints retained as projection-conformance tests.
Verified by construction. A slow, correct Python oracle and a fast Rust core (oxigraph + Nemo + an embedded Prolog, bound by PyO3/wasm — the GTS model) must pass one shared, language-neutral conformance corpus identically (Principle 7).

Status

Foundation vocabulary minted; implementation deferred. The logic: namespace and the foundational surface — 37 bare term declarations — have landed. The reasoned core is unchanged because the minted terms carry no axioms. The solver, generators, runtime, full conformance corpus, and the matching enforcement gates in governance/constitution.ttl land in later rungs of the logic roadmap. Until then, Principle 17 is enforced by design-review practice and surfaces as a warning, never silently.

Terms

The foundation surface is authored in the logic: namespace (https://blackcatinformatics.ca/logic/), standalone by design: logic: is the canonical ground and gmeow: (with gUFO, OWL, SHACL, …) is a generated lossy projection of it (Principle 17), so the foundation terms carry no gmeow: parentage. The logic: UFO⁺ sorts (Kind/SubKind/Phase/Role/Category/Mixin/RoleMixin/PhaseMixin/Relator/Event/Situation), the foundation relations (rigidlyAppliesTo/suppliesIdentity/mediates), the semantic profiles, the world/modal terms (World/accessibleFrom/counterfactualOf), the four quantitative axes (probability/confidence/weight/evidenceStrength), and the preservation-polarity vocabulary (PreservationKind and its individuals) are all documented term-by-term in module.ttl and the design set above.

`gmeow:sharpens`

The one gmeow:-side seam the foundation names: logic:accessibleFrom (the Kripke accessibility relation between worlds) generalizes the standpoint sharpening poset asserted on the gmeow: side via gmeow:sharpens. The specialization is declared on the gmeow: side, never minted as an axiom in this module, so the logic: foundation stays standalone (Principle 17).