RoXi Reasoner

Apr 11, 2022
Repo

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.

Stream Reasoning Incremental Maintenance RSP Rust
Pieter Bonte
Pieter Bonte
Assistant Professor

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

Related