Ontology, reasoning, and action. An AI-native systems layer for manufacturing.
We describe an AI-native manufacturing systems layer centred on a dynamic, extensible ontology of parts, processes, resources, and constraints. Rather than a fixed schema, the ontology is treated as a structured object that can be parameterised, extended, and re-mapped as new data, factories, and decision contexts appear. Unstructured inputs (BOMs, routings, drawing PDFs, planner spreadsheets, operator notes) are continuously compiled into this evolving representation with explicit provenance and uncertainty on every cell. The compile pipeline parses documents at roughly ten percent the cost of equivalent inference on Anthropic or OpenAI APIs by compiling against the ontology rather than re-extracting per call. On top of the ontology sits a reasoning layer that operates over the induced state space: validating consistency, inferring missing structure, simulating production flows, and selecting actions under constraints. These reasoning components produce machine-verifiable decision traces linking evidence to claims to state transitions to actions (scheduling, purchasing, vendor selection), enabling adaptive behaviour rather than static workflows. The system is designed as ontology plus reasoning plus action, where learning and automation emerge from iterating this loop in real manufacturing environments. The paper presents the formalism, the compile-from-unstructured pipeline, the trace-verification protocol, and field results from the first production tenants running the loop end to end.
Unstructured plant inputs compile into the ontology
Machine-verifiable decision traces, evidence to action
Ontology, reasoning, action. The closing loop.
Formal definition of the ontology as a parameterised typed graph with provenance and uncertainty annotations. Compile pipeline evaluated on a corpus of 4,200 unstructured artefacts across 11 tenant plants (BOMs, routings, drawings, planner spreadsheets, operator notes). Reasoning layer instrumented end-to-end across scheduling, purchasing, and vendor-selection decisions; decision traces validated against deterministic ground truth where available and against operator judgement otherwise. RL component trained on production traces, evaluated for action-quality against held-out tenant data.
