uor-foundation 3.5.0

UOR Foundation — typed Rust traits for the complete ontology. Import and implement.
Documentation

uor-foundation

The complete UOR Foundation ontology encoded as typed Rust traits. Import and implement.

Contents

  • 16 namespaces
  • 175 OWL classes (one trait each)
  • 325 OWL properties (one method each)
  • 637 named individuals (constants and enums)

Quick start

[dependencies]
uor-foundation = "3.5.0"

use uor_foundation::Primitives;

struct MyImpl;
impl Primitives for MyImpl {
    type String = str;
    type Integer = i64;
    type NonNegativeInteger = u64;
    type PositiveInteger = u64;
    type Decimal = f64;
    type Boolean = bool;
}

Then implement any foundation trait with your chosen primitives:

use uor_foundation::bridge::partition::FiberBudget;

impl FiberBudget<MyImpl> for MyFiberBudget {
    // ...
}

Module structure

Module Space Description
kernel::address Kernel Content-addressed glyph space
kernel::schema Kernel Ring schema: Datum, Term, Ring
kernel::op Kernel Primitive operations and the dihedral group
bridge::query Bridge Query hierarchy
bridge::resolver Bridge Resolution state machine
bridge::partition Bridge Irreducibility partitions and fiber budgets
bridge::observable Bridge Observable measurements
bridge::proof Bridge Proof and witness data
bridge::derivation Bridge Derivation and rewrite steps
bridge::trace Bridge Computation traces
bridge::cert Bridge Certificate hierarchy
user::type_ User Type definitions and constraints
user::morphism User Transforms and composition laws
user::state User Context, bindings, frames, transitions

Features

This crate is #![no_std] with zero mandatory dependencies.

License

Apache-2.0 — see LICENSE.