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 4 1 Updated Feb 27, 2024
Shell 3 Updated Mar 26, 2026

A tool for RDF surface reasoning using FOL theorem provers

Kotlin 4 2 Updated Apr 6, 2025

Command line tool for ontology engineering

Java 24 2 Updated Apr 2, 2026
Java 12 Updated Oct 29, 2025
Python 1 Updated May 20, 2023

RDF-star specification

HTML 129 22 Updated Jul 4, 2023

A fast in-memory rule engine

Rust 241 15 Updated Mar 25, 2026

Euler Yet another proof Engine

Prolog 162 19 Updated Mar 28, 2026

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