☆58Jul 16, 2023Updated 2 years ago
Alternatives and similar repositories for vlog
Users that are interested in vlog are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- VLog is a high-performance Datalog engine. It is highly memory efficient and can process large programs with thousands of rules.☆17Mar 22, 2018Updated 8 years ago
- Java library based on the VLog rule engine☆35Jul 12, 2025Updated 11 months ago
- ☆60Dec 5, 2022Updated 3 years ago
- Whelk is an OWL EL reasoner☆42Mar 5, 2025Updated last year
- Reactive Reasoning☆54Sep 28, 2025Updated 9 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- RDF Surfaces is classical first-order logic with negation in RDF☆10Feb 25, 2026Updated 4 months ago
- A fast in-memory rule engine☆268Jun 29, 2026Updated last week
- A Java-based OWL 2 EL reasoner☆118Jun 13, 2026Updated 3 weeks ago
- RDF rule engine☆26Jul 22, 2024Updated last year
- ☆22Jul 19, 2023Updated 2 years ago
- A C++ library for working with OWL2 ontologies.☆12Jan 26, 2016Updated 10 years ago
- ☆15Updated this week
- ☆12Oct 29, 2025Updated 8 months ago
- Tool for generating filtered Wikidata RDF exports☆46Apr 9, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- RDF/JS idiomatic, native, enjoyable☆20Apr 2, 2026Updated 3 months ago
- A Node.JS and CLI interface for Solid☆18May 27, 2025Updated last year
- A modular generator for OWL ontologies.☆14Jul 1, 2016Updated 10 years ago
- Library and Protégé plugin for generating Description Logic explanations☆16Jun 11, 2026Updated 3 weeks ago
- incremental symbol learning for natural language understanding☆10Jun 12, 2023Updated 3 years ago
- Streaming, transforming, SPARQL-based CSV to RDF converter. Apache license.☆62Updated this week
- R2RML API☆14Jan 24, 2024Updated 2 years ago
- An HTTP client for RDF resources☆15Jun 23, 2026Updated 2 weeks ago
- SHACL/ShEx implementation☆92Apr 12, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆51Jun 21, 2022Updated 4 years ago
- Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden☆28Updated this week
- 💠 An index for linked open data & standard knowledge descriptions (ontologies, vocabularies, shapes, queries, mappings)☆46Nov 6, 2023Updated 2 years ago
- W3C's Notation 3 (N3) Community Group☆56Jun 3, 2026Updated last month
- RDF parsers library☆87Apr 11, 2026Updated 2 months ago
- Lightweight Linked Data Browser☆39Aug 17, 2021Updated 4 years ago
- RDFa 1.1 distiller/parser library: can extract RDFa 1.1 (and RDFa 1.0, if properly set via a @version attribute) from (X)HTML, SVG, or XM…☆71Jun 21, 2022Updated 4 years ago
- Specification of an extension to SPARQL for handling literals that capture composite values (lists, maps, etc.).☆21May 8, 2025Updated last year
- Kafka as a Datalog Engine☆28Mar 31, 2025Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition☆20Jul 18, 2022Updated 3 years ago
- Lightweight Linked Data Server and Proxy☆100Jun 19, 2026Updated 2 weeks ago
- a command-line and interactive shell for Solid☆26Mar 26, 2024Updated 2 years ago
- SPARQL Anything is a system for Semantic Web re-engineering that allows users to ... query anything with SPARQL.☆294Jun 29, 2026Updated last week
- Packages the canonical miniKanren implementation for CHICKEN Scheme (http://call-cc.org)☆11Dec 30, 2025Updated 6 months ago
- The new intelligent grounder of the logic-based Artificial Intelligence system DLV☆24Dec 7, 2023Updated 2 years ago
- PAV - Provenance Authoring and Versioning ontology☆23Sep 19, 2025Updated 9 months ago