knowsys / nemo
A fast in-memory rule engine
☆85Updated this week
Related projects ⓘ
Alternatives and complementary repositories for nemo
- ☆67Updated this week
- RDF parsers library☆87Updated 3 weeks ago
- Rust interface for the RDFox database☆10Updated 9 months ago
- OWL 2 Reasoner built on DataFrog☆76Updated 2 months ago
- Sophia: a Rust toolkit for RDF and Linked Data☆238Updated last week
- The ErgoAI reasoning engine, an advanced object-oriented knowledge management system☆28Updated last month
- RDF library implemented in Rust☆27Updated 4 years ago
- Datalog with equality for rust☆55Updated 3 weeks ago
- Datalog + Egg = Good☆65Updated last year
- quick RDF viewer☆26Updated 3 weeks ago
- The Heterogeneous Tool Set☆57Updated 2 months ago
- Plow - The ontology package manager☆55Updated last year
- An RDF library in pure Rust☆69Updated 4 years ago
- ☆26Updated 9 months ago
- Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL☆35Updated 2 years ago
- logic programming with SPARQL☆47Updated last year
- Tentris is a tensor-based RDF triple store with SPARQL support.☆55Updated 5 months ago
- Logic programming in Rust☆413Updated last week
- Reactive Reasoning☆38Updated 3 months ago
- ☆75Updated 3 weeks ago
- Library for the Header Dictionary Triples (HDT) compression file format for RDF data.☆20Updated 2 weeks ago
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆81Updated this week
- Integrated RDF Surfaces inspired by Pat Hayes, Patrick Hochstenbach and EYE.☆13Updated last week
- Engines, queries, and data for dynamic Datalog computation☆122Updated 3 years ago
- Transformations transformed☆74Updated last week
- ☆12Updated 4 months ago
- OWL2 representation in Rust☆15Updated last year
- RDF data shapes implementation in Rust☆39Updated this week
- A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.☆39Updated this week
- ☆11Updated this week