A minimal example for JBoss Drools

A simple theorem prover made for a university programming assignment

A Preferential Reasoner for Ontologies

LogMap extension for conservativity principle

The Database for AI

Deduction Rules for Ontology Reasoning

Implementing empathic agents with Jason

In this project we have demonstrated the implementation of a simple decision support system that allows us to generate the opinions about likelihood of particular disease. The parameters of subjective logic are calculated on the basis of EMS dataset and the opinion is generated which is further used on various concepts like subjective logic oper…

OpenNARS for Research 3.0+

Components of PSOATransRun system

A Java project exploiting Java Debug Interface and OWL API to reason on active instances of a running java application.

An Object Oriented Programming (OOP) interface for Ontology Web language (OWL) ontologies.

Evaluation data for the IJCAI 2022 paper "Simulating Sets in Answer Set Programming"

A quick SPARQL endpoint with reasoning.

In this bachelor thesis, I developed a toolkit for automated reasoning and interpolation with ordered resolution.

The Thematic Reasoner is a tool able to deduce the main thematic subject of a collection of entities (e.g. the artworks of a museum).

TypeDB: a strongly-typed database

Cascading Stream Reasoning with Streaming MASSIF

A SPARQL-DL^NOT engine

An Object Oriented Programming (OOP) interface for Ontology Web language (OWL) ontologies.