Skip to content

Technical Specification

The full OntoLogos technical specification (API status tags, crate contracts, engine semantics) lives in the repository:

SPEC.md on GitHub

Quick reference (v0.4)

Area Status Doc
Core model + JSON v2 Available Architecture
Parser + partial OWL mapping Available Supported constructs
Profile detection Available Profile detection
RDFS materialization Available RDFS materialization
OWL RL saturation Available OWL RL saturation
OWL EL classification Stub (v0.5) Roadmap summary
Explanations Stub (v0.6) Roadmap summary

For error semantics and recovery, see Error reference.