Business
Why semantic infrastructure changes what the organization can safely ask and automate.

Ontology-native · distributed · exact by construction
Next Generation RDF DB
A database for organizations whose data must carry meaning—not just values. c8 combines governed RDF, a Release 1.0 target of full applicable SPARQL 1.1 conformance, OWL 2 DL reasoning and distributed execution behind one evidence-bound query plane.
Why semantic infrastructure changes what the organization can safely ask and automate.
How to load governed TriG and deploy highly available RKE2/K3s, EKS, AKS, GKE or on-prem clusters.
How Rust, Java/HermiT, future C++ kernels, Arrow, Parquet and Kubernetes fit together.
The business case
Traditional data platforms can store relationships. c8 is being built to preserve what those relationships mean, prove when an answer is complete, and distribute the work without changing the result.
Model classes, relationships, constraints and cross-domain semantics once, then query the governed graph through SPARQL instead of rebuilding business meaning in every application.
Use immutable semantic indexes and qualified finite materializations for selective workloads, while retaining an exact HermiT path whenever optimized coverage cannot prove completeness.
Bind query results to authorization, active snapshot, graph set, ontology versions, checksums, proofs and completeness evidence. Unknown coverage is never treated as false.
What the organization gets
Connect customer, product, operational and evidence domains without flattening their meaning.
Give applications and agents answers constrained by governed ontology and graph authorization.
Partition sparse graph work across bounded workers and add role-specific Kubernetes capacity as demand grows.
Build on RDF 1.1 TriG, SPARQL 1.1, OWL 2 DL, REST, OpenAPI, Arrow and Parquet.
The eight values of a reasoning system
The name stands for eight properties a business-grade reasoning system should make operational. Together they turn governed facts into certified context before that context reaches predictive AI.
Deterministic meaning first. Predictive intelligence second.
c8 reasons over explicit OWL axioms. It does not predict the answer; it derives what follows from the authorized ontology and returns the context plus evidence to applications or models.
Build the smallest authorized semantic graph that answers the question, instead of sending an AI model an undifferentiated data dump.
Evaluate RDF terms, SPARQL algebra and OWL entailment under explicit standards semantics—not an approximate similarity score.
Reject publication when the checksum-bound ontology snapshot is globally inconsistent under HermiT.
Return success only after every required partition and reasoning route proves that the answer set is whole.
Carry class restrictions, disjointness, keys, cardinality and property characteristics into the meaning of the data.
Traverse governed relationships across named subdomains while preserving graph identity and authorization.
Distribute joins, property paths and finite semantic materialization across bounded workers without changing the scalar result.
Bind answers to snapshot, graph-set, plan, checksum, proof-support and completeness evidence.
What it is for
Use c8 after data has been mapped into ontology-grounded TriG. It becomes the versioned semantic system that applications, analysts and agents can query without each reinterpreting the enterprise model.
Ground agents and automation in authorized entity relationships, ontology rules and evidence-bound answers.
Traverse customer, product, logistics, maintenance and risk domains through stable IRIs and governed links.
Connect an answer to its active snapshot, graph authorization, ontology versions, support and completeness status.
Give RDF clients, BI tools and services a standard SPARQL interface plus an enterprise JSON evidence API.
One correctness boundary
The planner uses the fastest execution lane that can prove completeness for the exact request. Incomplete or unknown semantic coverage routes to HermiT; it is never silently interpreted as “no answer.”
query, protocol, Swagger
graphs, algebra, coverage
OWL Direct + HermiT
Arrow, Grace, spill
immutable snapshots
Certified context graph generation
A/T/R/C axioms · named graphs
OWL 2 DL · pinned imports
distributed algebra · exact fallback
authorized facts · inferences · proof
A context graph is the minimum authorized semantic slice needed for a request: asserted triples, entailed relationships, relevant constraints, named-graph identity and proof/support references. Optional hydration can attach enterprise payload columns after the semantic entities are selected.
Execution model
Relevant graph routing → typed algebra → authorized semantic slice → stable partitions → vectorized joins and property paths → exact completeness/proof validation → GUID-directed Parquet hydration.
Fail closed by default
Missing partitions, bad checksums, stale snapshots, unauthorized graphs and incomplete proofs cannot become successful answers.
Implementation advantage
The code review found 95 Rust source files, three Java sources in the HermiT adapter and no first-party C or C++ files. Release messaging reflects that evidence.
Memory-safe services, Kubernetes controllers, bounded concurrency, Arrow/Parquet exchange, Grace joins, caching, spill and deterministic graph work units.
A checksum-pinned OWLAPI/HermiT adapter validates OWL 2 DL, checks consistency and executes exact Direct-Semantics entailment where certified indexes cannot prove coverage.
A future, benchmark-gated boundary for measured CSR, bitmap and SIMD sparse kernels. The current candidate contains no first-party C++ implementation and keeps OpenMP/BLAS at one thread for sparse RDF work.
The target is full applicable SPARQL 1.1 query, protocol and result-format conformance, with SPARQL evaluated under the OWL 2 Direct Semantics entailment regime over a validated OWL 2 DL snapshot. That claim remains qualification-gated by W3C suites and Apache Jena differential tests.
“OWL-DL-compliant SPARQL” is useful shorthand, but the precise statement separates the ontology profile from the query entailment regime. The current scalar path protects correctness while distributed operators finish activation and qualification.
What “100% SPARQL 1.1” means for Release 1.0
SELECT, ASK, CONSTRUCT and DESCRIBE with standards-correct RDF term and bag semantics.
JOIN, OPTIONAL, UNION, MINUS, FILTER, BIND, VALUES, subqueries, aggregation, ordering, slicing and property paths.
Dataset parameters, result negotiation, service description and secured SERVICE/SERVICE SILENT federation.
Applicable W3C suites plus Apache Jena differential results; optimized output must equal the scalar oracle.
Current truth: the implementation already covers substantial SPARQL parsing, scalar evaluation, typed distributed plans and native operator kernels, but federation, live worker activation and full release-suite evidence remain open. “100%” is the Release 1.0 acceptance target, not a passed claim for the present candidate.
Follow the RKE2/K3s, EKS, AKS, GKE or on-prem Kubernetes sequence; size responsibility pools; load governed TriG; publish a certified snapshot.
Open Helm guideNavigate the architecture by feature and trace every subsystem to first-party Rust, Java, contracts, charts and qualification evidence.
Explore the sourceThe implementation is substantial, but native builds, federation, worker activation and real multinode qualification remain release gates.
Read qualification status