jrbn / vlogLinks
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
Alternatives and similar repositories for vlog
Users that are interested in vlog are comparing it to the libraries listed below
Sorting:
- ☆57Updated 2 years ago
- Java library based on the VLog rule engine☆34Updated 4 months ago
- Semantic Web scripting language☆104Updated 2 years ago
- logic programming with SPARQL☆47Updated 2 years ago
- ClioPatria provides an RDF application platform☆57Updated 2 weeks ago
- 🐦 Versioned RDF triple store (OffSet-enabled TRIple store for CHangesets)☆50Updated 2 months ago
- Ontology development environment for Common Logic (CL)☆24Updated 2 years ago
- HDT C++ Library and Tools☆125Updated 7 months ago
- RDFpro☆13Updated 3 years ago
- AceWiki is a semantic wiki based on controlled natural language.☆73Updated 9 months ago
- 🖧 Quads in Git - Distributed Version Control for RDF Knowledge Bases☆108Updated last year
- Advanced support for working with RDF in Prolog.☆18Updated last year
- Cleaning other people's dirty data.☆54Updated 4 years ago
- Pixy is a declarative vendor-independent graph query language built on the Tinkerpop software stack☆36Updated last week
- ☆66Updated 4 years ago
- A collection of utilities for use with OpenRDF Sesame (as of recently, Eclipse RDF4J)☆50Updated 4 years ago
- OWL2 library for Prolog☆112Updated 6 years ago
- Parser for Attempto Controlled English (ACE)☆207Updated last year
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆20Updated 2 months ago
- HDT Java library and tools.☆101Updated last year
- An RDF TripleStore in Java☆47Updated 3 years ago
- Redland librdf RDF API and triple stores☆102Updated last year
- tools for common-logic☆22Updated 12 years ago
- Automatically exported from code.google.com/p/swoop☆35Updated 10 years ago
- Euler Yet another proof Engine☆157Updated this week
- The SWI-Prolog RDF store☆32Updated last week
- Racer is a knowledge representation system that implements a highly optimized tableau calculus for the description logic SRIQ(D).☆113Updated 6 years ago
- A Java-based OWL 2 EL reasoner☆107Updated last year
- A distributed in-memory graph store.☆31Updated 9 years ago
- Converting Non-Recursive Datalog to SQL☆24Updated 9 years ago