UOR Foundation
Universal Object Reference — a formal ontology for content-addressed, algebraically-structured object spaces.
Ontology Inventory
14 namespaces · 82 classes · 119 properties · 14 named individuals
Namespaces
UOR Content Addressing
https://uor.foundation/u/
Content-addressable identifiers represented as Braille strings. Each address is a sequence of Braille glyphs encoding a unique content-derived identifier.
- Classes
- 2
- Properties
- 4
- Individuals
- 0
UOR Schema
https://uor.foundation/schema/
Core value types and term language for the UOR ring substrate. Defines Datum (ring element), Term (syntactic expression), and the Ring container.
- Classes
- 6
- Properties
- 13
- Individuals
- 2
UOR Operations
https://uor.foundation/op/
Ring operations, involutions, algebraic identities, and the dihedral symmetry group D_{2^n} generated by neg and bnot.
- Classes
- 7
- Properties
- 13
- Individuals
- 12
UOR Queries
https://uor.foundation/query/
Information extraction queries. Users initiate queries; the kernel resolves them against the ring substrate.
- Classes
- 4
- Properties
- 3
- Individuals
- 0
UOR Resolvers
https://uor.foundation/resolver/
Type resolution strategies implementing the partition map Π : T_n → Part(R_n). Resolvers transform type declarations into ring partitions.
- Classes
- 4
- Properties
- 4
- Individuals
- 0
UOR Type System
https://uor.foundation/type/
Runtime type declarations that parameterize the resolution pipeline. Types are declared by Prism applications and resolved to partitions of the ring.
- Classes
- 5
- Properties
- 5
- Individuals
- 0
UOR Partitions
https://uor.foundation/partition/
Irreducibility partitions produced by type resolution. A partition divides the ring into four disjoint components: Irreducible, Reducible, Units, and Exterior.
- Classes
- 6
- Properties
- 9
- Individuals
- 0
UOR Observables
https://uor.foundation/observable/
Observable quantities and metrics computed by the UOR kernel. Includes ring-metric, Hamming-metric, curvature, holonomy, and catastrophe-theoretic observables.
- Classes
- 26
- Properties
- 4
- Individuals
- 0
UOR Proofs
https://uor.foundation/proof/
Kernel-produced verification proofs attesting to algebraic properties of UOR objects and operations.
- Classes
- 4
- Properties
- 11
- Individuals
- 0
UOR Derivations
https://uor.foundation/derivation/
Computation witnesses recording term rewriting sequences from original terms to their canonical forms.
- Classes
- 3
- Properties
- 10
- Individuals
- 0
UOR Computation Traces
https://uor.foundation/trace/
Execution traces recording the sequence of kernel operations, intermediate results, and accumulated metrics for a computation.
- Classes
- 3
- Properties
- 11
- Individuals
- 0
UOR Certificates
https://uor.foundation/cert/
Kernel-produced attestation certificates for transforms, isometries, and involutions. Each certificate verifies that a specific structural property holds.
- Classes
- 4
- Properties
- 6
- Individuals
- 0
UOR Transforms and Morphisms
https://uor.foundation/morphism/
Runtime abstractions for maps between UOR objects: transforms, isometries, embeddings, and group actions. The foundation provides the vocabulary; Prism writes the sentences.
- Classes
- 4
- Properties
- 10
- Individuals
- 0
UOR State
https://uor.foundation/state/
Parameterized address spaces, context management, binding lifecycle, and state transitions. The user-space overlay onto the kernel's read-only ring substrate.
- Classes
- 4
- Properties
- 16
- Individuals
- 0