RoXi Reasoner

RoXi provides a uniform framework for Reactive Reasoning applications including:

  • Incremental maintenance
  • RDF Stream Processing
  • Temporal Reasoning

RoXi uses some of the internals of oxigraph, including sparqlalgebra and OxRDF.

RoXi can be included as a library, run in server mode through CLI or in the browser using web assembly. You can try it out in your own browser!

RoXi supports datalog reasoning using N3 syntax. The whole N3 spec is currently not supported yet, but this is work in progress. Currently we support rules with plain datalog expressivity.

Pieter Bonte
Pieter Bonte
PostDoc on Stream Reasoning

My research interests include Stream Reasoning, Semantic Web, Stream Processing and HybridAI.