RDF Surfaces is classical first-order logic with negation in RDF
☆10Feb 25, 2026Updated 4 months ago
Alternatives and similar repositories for rdfsurfaces
Users that are interested in rdfsurfaces are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ⚙️ Generate Components.js component files from TypeScript☆14Updated this week
- A Notation3 (N3) reasoner in JavaScript.☆18Jul 13, 2026Updated last week
- A Notation3 Editor in JavaScript☆16Aug 6, 2025Updated 11 months ago
- ☆13May 11, 2026Updated 2 months ago
- Reactive Reasoning☆54Sep 28, 2025Updated 9 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- An open implementation of an ODRL Evaluator that evaluates ODRL policies by generating Compliance Reports☆21Mar 19, 2026Updated 4 months ago
- ☆25Oct 24, 2023Updated 2 years ago
- ☆12Oct 29, 2025Updated 8 months ago
- Euler Yet another proof Engine☆168Jun 19, 2026Updated last month
- The Linked Time Series server☆11Sep 16, 2020Updated 5 years ago
- Integrated RDF Surfaces inspired by Pat Hayes, Patrick Hochstenbach and EYE.☆13Aug 13, 2025Updated 11 months ago
- Public repo for Validating RDF data book☆17Jan 10, 2018Updated 8 years ago
- A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.☆69Updated this week
- W3C's Notation 3 (N3) Community Group☆56Jul 13, 2026Updated last week
- 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.
- A Node.JS and CLI interface for Solid☆18May 27, 2025Updated last year
- 🌍 Comunica engine scripts for Web browsers☆16Jul 10, 2026Updated last week
- Pfc: adding forward chaining and truth maintenance to Prolog☆11Jan 25, 2024Updated 2 years ago
- ⚙️ SPARQL expression evaluator library - Moved to @comunica/expression-evaluator☆15Sep 19, 2023Updated 2 years ago
- ☆13May 20, 2022Updated 4 years ago
- An implementation of the RDF Dataset Normalization Algorithm in JavaScript.☆25Nov 20, 2025Updated 8 months ago
- Repository for the OAC (ODRL profile for Access Control) documentation: https://w3id.org/oac☆10Oct 20, 2024Updated last year
- The Semantic Web Application Platform: cwm etc☆37Jan 10, 2024Updated 2 years ago
- ☆13Mar 25, 2026Updated 3 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Specification for Shape Trees☆14Sep 30, 2022Updated 3 years ago
- Prolog Technology Theorem Prover☆14Jun 19, 2024Updated 2 years ago
- A collection of tools that connect the RDF* model and Property Graphs.☆11Oct 12, 2020Updated 5 years ago
- Policy Administration point to handle ODRL policies and provide their Rego-equivalent to the Open Policy Agent☆15Jun 22, 2026Updated 3 weeks ago
- tools for common-logic☆23Mar 5, 2013Updated 13 years ago
- G2G Mapper☆12Dec 24, 2024Updated last year
- Translate any RDF format to any other using Ruby RDF gems☆21Dec 20, 2025Updated 7 months ago
- A pure Dart package for working with RDF (resource description framework).☆16May 12, 2026Updated 2 months ago
- ☆10Mar 11, 2026Updated 4 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Zazuko's Default Ontologies & Prefixes☆76Jul 13, 2026Updated last week
- RSS feeds of journals and conferences indexed by DBLP☆18Aug 9, 2013Updated 12 years ago
- The Heterogeneous Tool Set☆62Oct 7, 2025Updated 9 months ago
- Java-based lightweight Prolog virtual machine☆38Jul 3, 2024Updated 2 years ago
- A Semi-Automatic Tool to generate RDF mappings for Opendatasoft's datasets☆47Oct 2, 2025Updated 9 months ago
- This is an Open Source Period Tracker in the making that just happens to be using Solid.☆11Feb 19, 2023Updated 3 years ago
- SWI-Prolog WebAssembly build as a NPM package☆60Updated this week