Projects

A framework for description logics in Scala. Supports HermiT (or any other OWL API reasoner) with algebraic data types for axioms and concept expressions, parsers, and more.

• GitHub

A minimal interactive REPL (and scripting language) for defining, loading and reasoning with description logics knowledge bases. Built on top of SHAR and implemented in Scala. Useful for exploring knowledge bases, defining small knowledge bases, and including DL reasoning in Bash (et. al) scripts.

• GitHub

From shapes to shapes (or s2s in short) is a tool and library for inferring SHACL shapes that validate result graphs of SPARQL CONSTRUCT queries. For more information, see the associated paper.

• GitHub
• From Shapes to Shapes (paper)

A prototype validator for the ProGS shape validation language for property graphs. Using Answer Set Programming (Clingo). Can validate graphs exported from Neo4j (openCypher).

• GitHub
• ProGS (paper)

Fuzzyphile is a nice CLI tool for piping fd into fzf into shell builtins. It provides utilities for both navigating and interacting with the file system in a very fuzzy way. Just a simple Python script, but incredibility useful.

• GitHub

s1ck3r is a sleek, transient and customizable shell prompt for zsh.

• GitHub

This website is built with org-mode, a plain text note-taking (and much more) system for GNU Emacs, generating static HTML from its powerful markup language.

• GitLab