RDF Studio's built-in reasoner is a native Rust OWL 2 RL engine, built directly into its Oxigraph-based store. Reasoning happens inside the storage layer itself — no data leaves the store to be reasoned over.
The engine materializes inferences: it applies OWL 2 RL rules to your ontology and data, and writes the derived triples into the database.
someValuesFrom
allValuesFrom
hasValue
hasKey
intersectionOf
unionOf
Every inferred triple carries a per-quad inferred flag — there is no separate "inference graph". This is why the UI can:
Separately, the ontology editor offers a non-persisted inference preview — dashed edges computed from the ontology files while you model. The preview disappears when toggled off; materialized inferences in the database do not.
The built-in engine is designed for small to medium datasets — ontology modeling, development, and departmental workloads. For reasoning at full production scale, connect RDF Studio to a dedicated scalable reasoning store such as GraphDB or RDFox and let its engine do the heavy lifting — RDF Studio works as the workbench on top, and each store applies its own reasoning strategy (see Truth Maintenance & Retraction for how those work).