Skip to content
View doerthe's full-sized avatar

Organizations

@tdt

Block or report doerthe

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Parser from SHACL to the logical syntax tree

Python 3 1 Updated Feb 27, 2024
Shell 3 Updated Oct 26, 2025

A tool for RDF surface reasoning using FOL theorem provers

Kotlin 4 2 Updated Apr 6, 2025

Command line tool for ontology engineering

Java 23 2 Updated Oct 8, 2025
Java 12 Updated Oct 29, 2025
Python 1 Updated May 20, 2023

RDF-star specification

HTML 125 23 Updated Jul 4, 2023

A fast in-memory rule engine

Rust 193 10 Updated Nov 28, 2025

Euler Yet another proof Engine

Prolog 157 19 Updated Nov 19, 2025

Demo of how to generates APIs from data and N3 rules

JavaScript 5 1 Updated Dec 9, 2022

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

Java 53 20 Updated Sep 3, 2018