A SPARQL database, RDF Stream Processing Engine and RDF toolkit

Log(ic) programming in Ru(st).

A test kit for RDF Surfaces

Translate Notation3 backward rules into forward rules

Convert theorems in Lean to RDF

An RDF Library for Lean4

A playground for calculating access mode grants based on usage control rules and usage control rule interpreters

Package that queries the OpenAIRE Graph

Packaging attempt using N3 Surfaces

Notation3 (RDF Surfaces) to N3S precompiler

SWI-Prolog WebAssembly build as a NPM package

Compile a line syntax into RDF Surfaces

A rule-based intelligent software agent

A mini RDF-Surfaces playground

An owl component library

Notation3 reasoning application using EYE in the browser and remotely on a server. Input data from your solid pod, a generic location on the web or directly as text

A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.

RDF Surfaces is classical first-order logic with negation in RDF

A web choreography service using eye

An rdfs component library

Trealla Prolog for the web

Thought on the xsd:decimal datatype

A compact, efficient Prolog interpreter written in plain-old C.

Example N3 scripts to demonstrate the various built-in functions