knowsys / rulewerkLinks
Java library based on the VLog rule engine
☆34Updated 6 months ago
Alternatives and similar repositories for rulewerk
Users that are interested in rulewerk are comparing it to the libraries listed below
Sorting:
- ☆57Updated 2 years ago
- ☆67Updated 4 years ago
- RDF rule engine☆24Updated last year
- logic programming with SPARQL☆47Updated 2 years ago
- VLog is a high-performance Datalog engine. It is highly memory efficient and can process large programs with thousands of rules.☆17Updated 7 years ago
- Whelk is an OWL EL reasoner☆36Updated 10 months ago
- Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL☆41Updated 3 years ago
- The ErgoAI reasoning engine, an advanced object-oriented knowledge management system☆42Updated 9 months ago
- HDT Java library and tools.☆101Updated last year
- 🐦 Versioned RDF triple store (OffSet-enabled TRIple store for CHangesets)☆51Updated 4 months ago
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆50Updated 3 years ago
- ☆16Updated 5 years ago
- Virtual Knowledge Graph Creation from RDB with R2RML☆48Updated 2 years ago
- Cleaning other people's dirty data.☆54Updated 4 years ago
- Ontology development environment for Common Logic (CL)☆24Updated 3 years ago
- Advanced support for working with RDF in Prolog.☆18Updated last year
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆21Updated last month
- Standards-compliant triple store for RDF, OWL, and SPARQL☆63Updated 2 months ago
- AceWiki is a semantic wiki based on controlled natural language.☆73Updated 11 months ago
- A Java-based OWL 2 EL reasoner☆110Updated last year
- 🖧 Quads in Git - Distributed Version Control for RDF Knowledge Bases☆109Updated last year
- SHACL/ShEx implementation☆87Updated 9 months ago
- Euler Yet another proof Engine☆156Updated last week
- A highly scalable RDF triple store with full-text and GeoSPARQL support☆109Updated 3 weeks ago
- A General-Purpose Tool for Formal Concept Analysis☆59Updated 2 weeks ago
- RDF Serializer, to be used in a git commit-hook to force automatic correct rewrite of every OWL ontology☆72Updated 2 months ago
- A framework for PSL inference.☆21Updated 10 years ago
- a set of command line tools for OWL files powered by owl-api☆20Updated 6 years ago
- Suggested Upper Merged Ontology (SUMO)☆250Updated last week
- A collection of utilities for use with OpenRDF Sesame (as of recently, Eclipse RDF4J)☆50Updated 4 years ago