knowsys / nemo
A fast in-memory rule engine
☆122Updated this week
Alternatives and similar repositories for nemo:
Users that are interested in nemo are comparing it to the libraries listed below
- RDF parsers library☆87Updated 2 months ago
- ☆76Updated this week
- OWL 2 Reasoner built on DataFrog☆78Updated this week
- Sophia: a Rust toolkit for RDF and Linked Data☆247Updated this week
- ☆27Updated last year
- Datalog with equality for rust☆68Updated 5 months ago
- RDF library implemented in Rust☆28Updated 4 years ago
- Rust interface for the RDFox database☆12Updated last year
- Library for the Header Dictionary Triples (HDT) compression file format for RDF data.☆26Updated 2 weeks ago
- Logic programming in Rust☆457Updated 3 weeks ago
- An RDF library in pure Rust☆70Updated 4 years ago
- The ErgoAI reasoning engine, an advanced object-oriented knowledge management system☆34Updated this week
- quick RDF viewer☆32Updated this week
- Reactive Reasoning☆42Updated 7 months ago
- Plow - The ontology package manager☆56Updated last year
- RDF data shapes implementation in Rust☆46Updated 2 weeks ago
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆88Updated this week
- 🗝️ Rust bindings to the clingo library☆30Updated 2 months ago
- OWL2 representation in Rust☆15Updated last year
- Property Graph and RDF engine, still in development☆214Updated last week
- ☆23Updated last week
- logic programming with SPARQL☆47Updated 2 years ago
- A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.☆47Updated this week
- Propositional logic with types in Rust☆62Updated last year
- Datalog + Egg = Good☆66Updated last year
- Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL☆36Updated 2 years ago
- ☆12Updated last year
- JSON-LD implementation for Rust☆137Updated 3 months ago
- ☆80Updated 5 months ago
- Interactive dot graphs☆107Updated 2 months ago