pr4xis 0.28.0

Axiomatic Intelligence — an ontology + category-theory reasoning engine: every claim derived from explicit axioms, with a proof path back to them
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
//! Context module — vestigial after #169.
//!
//! The `ContextDef` trait and per-def query helpers (`resolve`,
//! `interpretations`, `ambiguous_entities`) were deleted. Context
//! resolution belongs in the cognitive/linguistics domain ontologies
//! that need it, not as a core substrate concern.
//!
//! **Literature that lived here:**
//! - Carnap (1947) *Meaning and Necessity* — intension + context → extension
//! - Pustejovsky (1995) *The Generative Lexicon* — context-dependent
//!   semantics
//!
//! These invariants should be re-expressed as domain axioms in the
//! linguistics ontologies that use them.