Parser from SHACL to the logical syntax tree

A tool for RDF surface reasoning using FOL theorem provers

Command line tool and Java API for ontology engineering

RDF-star specification

A fast in-memory rule engine

Euler Yet another proof Engine

Demo of how to generates APIs from data and N3 rules

Generate High Quality Linked Data from multiple originally (semi-)structured data (legacy)