knowsys / nemo

Related projects: ⓘ

• gtfierro / reasonable
  OWL 2 Reasoner built on DataFrog
  ☆70Updated 2 weeks ago
• oxigraph / rio
  RDF parsers library
  ☆87Updated 3 weeks ago
• EKGF / rdfox-rs
  Rust interface for the RDFox database
  ☆9Updated 7 months ago
• pchampin / sophia_rs
  Sophia: a Rust toolkit for RDF and Linked Data
  ☆217Updated last week
• terminusdb-labs / swipl-rs
  ☆25Updated 7 months ago
• phillord / horned-owl
  ☆64Updated last month
• ErgoAI / ErgoEngine
  The ErgoAI reasoning engine, an advanced object-oriented knowledge management system
  ☆25Updated last month
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• scholtzan / rdf-rs
  RDF library implemented in Rust
  ☆25Updated 3 years ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆49Updated 5 months ago
• vandenoever / rome
  An RDF library in pure Rust
  ☆69Updated 4 years ago
• KNowledgeOnWebScale / retina
  Integrated RDF Surfaces inspired by Pat Hayes, Patrick Hochstenbach and EYE.
  ☆13Updated last month
• KonradHoeffner / hdt
  Library for the Header Dictionary Triples (HDT) compression file format for RDF data.
  ☆19Updated last month
• field33 / plow
  Plow - The ontology package manager
  ☆53Updated last year
• spechub / Hets
  The Heterogeneous Tool Set
  ☆57Updated 2 weeks ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆24Updated 11 months ago
• philzook58 / prologsolvers
  Copies of prolog solvers for use from python
  ☆14Updated 2 months ago
• CategoricalData / hydra
  Transformations transformed
  ☆71Updated this week
• cmungall / sparqlprog
  logic programming with SPARQL
  ☆46Updated last year
• KonradHoeffner / rickview
  quick RDF viewer
  ☆24Updated last week
• s-arash / ascent
  logic programming in Rust
  ☆387Updated 2 months ago
• magbak / chrontext
  ☆12Updated last year
• potassco / clingo-rs
  🗝️ Rust bindings to the clingo library
  ☆29Updated 8 months ago
• frankmcsherry / dynamic-datalog
  Engines, queries, and data for dynamic Datalog computation
  ☆121Updated 3 years ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆51Updated last month
• knowsys / rulewerk
  Java library based on the VLog rule engine
  ☆32Updated 3 months ago
• field33 / owlish
  OWL2 representation in Rust
  ☆15Updated last year
• field33 / harriet
  Parser and serializer for the Turtle format
  ☆11Updated last year
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆73Updated this week
• twolodzko / prolog-rs
  Minimal Prolog implemented in Rust
  ☆36Updated this week