w3c-cg/rdfsurfaces external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

w3c-cg/rdfsurfaces

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/w3c-cg/rdfsurfaces)

Close

w3c-cg / rdfsurfacesView on GitHubMore

• External links
• Readme badge

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.

• LinkedSoftwareDependencies / Components-Generator.js

  View on GitHub
  ⚙️ Generate Components.js component files from TypeScript
  ☆14Jun 19, 2026Updated last week
• pbonte / roxi

  View on GitHub
  Reactive Reasoning
  ☆52Sep 28, 2025Updated 9 months ago
• validatingrdf / validatingrdf.github.io

  View on GitHub
  Public repo for Validating RDF data book
  ☆17Jan 10, 2018Updated 8 years ago
• w3c-cg / dataspaces

  View on GitHub
  ☆13May 11, 2026Updated last month
• SolidLabResearch / Challenges

  View on GitHub
  ☆25Oct 24, 2023Updated 2 years ago
• Virtual machines for every use case on DigitalOcean • Ad
  Get dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
• linkedtimeseries / timeseries-server

  View on GitHub
  The Linked Time Series server
  ☆11Sep 16, 2020Updated 5 years ago
• eyereasoner / eye

  View on GitHub
  Euler Yet another proof Engine
  ☆167Jun 19, 2026Updated last week
• KNowledgeOnWebScale / retina

  View on GitHub
  Integrated RDF Surfaces inspired by Pat Hayes, Patrick Hochstenbach and EYE.
  ☆13Aug 13, 2025Updated 10 months ago
• doerthe / SPARQL-to-N3

  View on GitHub
  ☆12Oct 29, 2025Updated 7 months ago
• rdfjs / comunica-browser

  View on GitHub
  🌍 Comunica engine scripts for Web browsers
  ☆16Updated this week
• eyereasoner / eye-js

  View on GitHub
  A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.
  ☆69Updated this week
• finin / pfc

  View on GitHub
  Pfc: adding forward chaining and truth maintenance to Prolog
  ☆11Jan 25, 2024Updated 2 years ago
• comunica / sparqlee

  View on GitHub
  ⚙️ SPARQL expression evaluator library - Moved to @comunica/expression-evaluator
  ☆15Sep 19, 2023Updated 2 years ago
• w3c-cg / N3

  View on GitHub
  W3C's Notation 3 (N3) Community Group
  ☆55Jun 3, 2026Updated 3 weeks ago
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• SolidLabResearch / Bashlib

  View on GitHub
  A Node.JS and CLI interface for Solid
  ☆18May 27, 2025Updated last year
• digitalbazaar / rdf-canonize

  View on GitHub
  An implementation of the RDF Dataset Normalization Algorithm in JavaScript.
  ☆25Nov 20, 2025Updated 7 months ago
• linkeddata / swap

  View on GitHub
  The Semantic Web Application Platform: cwm etc
  ☆37Jan 10, 2024Updated 2 years ago
• rdfshapes / shacl-sparql

  View on GitHub
  ☆13May 20, 2022Updated 4 years ago
• w3c / rdf-star-wg-charter

  View on GitHub
  ☆13Mar 25, 2026Updated 3 months ago
• shapetrees / specification

  View on GitHub
  Specification for Shape Trees
  ☆14Sep 30, 2022Updated 3 years ago
• SEAMWARE / odrl-pap

  View on GitHub
  Policy Administration point to handle ODRL policies and provide their Rego-equivalent to the Open Policy Agent
  ☆14Jun 22, 2026Updated last week
• RDFstar / RDFstarPGConnectionTools

  View on GitHub
  A collection of tools that connect the RDF* model and Property Graphs.
  ☆11Oct 12, 2020Updated 5 years ago
• slburson / PTTP

  View on GitHub
  Prolog Technology Theorem Prover
  ☆14Jun 19, 2024Updated 2 years ago
• GPUs on demand by Runpod - Special Offer Available • Ad
  Run AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
• besteves4 / odrl-access-control-profile

  View on GitHub
  Repository for the OAC (ODRL profile for Access Control) documentation: https://w3id.org/oac
  ☆10Oct 20, 2024Updated last year
• cmungall / cltools

  View on GitHub
  tools for common-logic
  ☆23Mar 5, 2013Updated 13 years ago
• g2glab / g2g

  View on GitHub
  G2G Mapper
  ☆12Dec 24, 2024Updated last year
• anusii / rdflib

  View on GitHub
  A pure Dart package for working with RDF (resource description framework).
  ☆16May 12, 2026Updated last month
• zazuko / rdf-vocabularies

  View on GitHub
  Zazuko's Default Ontologies & Prefixes
  ☆76Apr 2, 2026Updated 2 months ago
• CeON / DBLPfeeds

  View on GitHub
  RSS feeds of journals and conferences indexed by DBLP
  ☆18Aug 9, 2013Updated 12 years ago
• opendatasoft / semantic-bot

  View on GitHub
  A Semi-Automatic Tool to generate RDF mappings for Opendatasoft's datasets
  ☆47Oct 2, 2025Updated 8 months ago
• ptarau / iProlog

  View on GitHub
  Java-based lightweight Prolog virtual machine
  ☆38Jul 3, 2024Updated last year
• gkellogg / rdf-distiller

  View on GitHub
  Translate any RDF format to any other using Ruby RDF gems
  ☆21Dec 20, 2025Updated 6 months ago
• Bare Metal GPUs on DigitalOcean Gradient AI • Ad
  Purpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
• spechub / Hets

  View on GitHub
  The Heterogeneous Tool Set
  ☆62Oct 7, 2025Updated 8 months ago
• RubenVerborgh / AsyncIterator

  View on GitHub
  An asynchronous iterator library for advanced object pipelines in JavaScript
  ☆48Sep 25, 2025Updated 9 months ago
• andrewcropper / mlj18-metaopt

  View on GitHub
  A. Cropper and S.H. Muggleton. Learning efficient logic programs. Machine learning, 2019.
  ☆14Apr 14, 2018Updated 8 years ago
• rdf2h / ld2h

  View on GitHub
  Expand tags by rendering local or remote RDF resources, recursively.
  ☆10Dec 8, 2022Updated 3 years ago
• apahl / sdf_viewer

  View on GitHub
  interactive SDF Viewer presented originally at the RDKit UGM 2014
  ☆21Jun 23, 2017Updated 9 years ago
• mgiraldo / Stereogranimator

  View on GitHub
  ☆14Dec 17, 2022Updated 3 years ago
• schemaorg / sdopythonapp

  View on GitHub
  Original schema.org python-appengine codebase
  ☆19Apr 10, 2022Updated 4 years ago