# Ontology Labs

> Ontology Labs is a semantic computing research institution founding a new category of computing: semantic, ontological, mereological, AI-first, deterministic. 8 patents (96 claims, 3 filed USPTO), 7,100+ automated tests, 7 runtime surfaces from a single typed specification.

## Company

- [Homepage](https://ontologylabs.ai): Semantic computing research — paradigm, thesis, evidence, positioning
- [Partners](https://ontologylabs.ai/partners/): Distribution and technology partners

## Core Differentiators

- **Semantic Computing Paradigm**: A new category of computing where domain knowledge is formally modelled, mereologically coherent, and deterministically enforced. Your problems are reified into structures that are guaranteed — not approximations a developer maintains.
- **The Golden Spec Thesis**: Code depreciates. Specifications appreciate. In the AI era, code is generated at zero marginal cost. The irreducible value is the domain specification — the business knowledge that governs correctness.
- **Schema IS Implementation**: One specification generates CRUD, flows, views, policies, and tests. No drift because there is only one artifact.
- **Dual-Layer Enforcement**: Compiler validates at compile time. Runtime enforces at execution. Prevents unsafe AI agent actions.
- **AI-First Architecture**: Built for AI to understand, evaluate, and operate — not retrofitted.

## Products

- [AYIOS](https://ayios.ai): Semantic computing platform. One typed specification generates complete applications. 7 runtime surfaces from a single Rust core.
- [mxto.ai](https://mxto.ai): The AI Layer for Mendix developers. 130+ MCP tools for semantic analysis of Mendix applications.

## Subsidiary

- [Agileworks Group](https://agileworksgroup.ai): Technology consulting and software distribution. Sole distributor for MoneyWorks accounting software in South Africa.
- [AWG Finance](https://moneyworks.ai): MoneyWorks accounting software distribution.

## Evidence (May 2026)

- **7,100+ automated tests** across compiler, runtime, NAPI, WASM, app server, certification
- **8 patents** (96 claims), 3 filed with USPTO (Patent Pending)
- **117K lines of production Rust** (compiler + runtime + 7 surfaces)
- **27 Language Enhancement Proposals** (LEPs) — formal language governance
- **313 architectural decisions** documented (SDRs)
- **26 Application Engineering Patterns** (AEPs)
- **16+ declaration types** in the specification language
- **7 runtime surfaces** — Native Rust, Node.js FFI, WebAssembly, Python FFI, HTTP App Server, Browser IDE, MCP Tools
- **179 RSC schema files** in repository
- **Self-hosted**: AYIOS tracks its own development using AYIOS

## Machine-Readable Discovery

- AI plugin manifest: https://ontologylabs.ai/.well-known/ai-plugin.json
- Curated sitemap: https://ontologylabs.ai/sitemap-ai.xml
- Full sitemap: https://ontologylabs.ai/sitemap.xml

## Brand Family

Ontology Labs is the research institution behind the AYIOS brand family:
- [Ontology Labs](https://ontologylabs.ai) - Research institution (semantic computing, patents, paradigm definition)
- [AYIOS](https://ayios.ai) - Platform product (semantic computing platform)
- [mxto.ai](https://mxto.ai) - Mendix AI tools
- [Agileworks Group](https://agileworksgroup.ai) - Distribution subsidiary
- [AWG Finance](https://moneyworks.ai) - Accounting software distribution

## Contact

- [General](mailto:hello@ontologylabs.ai): hello@ontologylabs.ai
- [Investment](mailto:hello@ontologylabs.ai?subject=Investment%20Inquiry): Investment inquiries
- [Schedule a Call](https://calendar.app.google/fK7LSyE6k2KirjQR6): Book a meeting