A mini-framework for evaluating LLM performance on the Bulls and Cows number guessing game, supporting multiple LLM providers.

A codebase for "Language Models can Solve Computer Tasks"

A simple implementation of the OWL2 RL Profile on top of RDFLib: it expands the graph with all possible triples that OWL RL defines. It can be used together with RDFLib to expand an RDFLib Graph object, or as a stand alone service with its own serialization.

RDF data for Knowledge Graph Reasoning Challenge.

The oko reasoning engine is performing forward and backward chaining of n3p data.

Slides for a mini-lecture on “Rule-based reasoning on the Semantic Web”

This is a repository for code and data to produce modular norm models from legal text

Progetto Intelligent Web 2022 - ALC Reasoning con Lazy Unfolding

Relax, write, and have your own class website!