Protege Desktop

OpenNARS for Research 3.0+

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

Components of PSOATransRun system

A quick SPARQL endpoint with reasoning.

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

An OWL ontology describing events, characters and places in the Star Wars Universe

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

Cascading Stream Reasoning with Streaming MASSIF

LiFR, the Lighweight Fuzzy semantic Reasoner.

A SPARQL-DL^NOT engine

Deduction Rules for Ontology Reasoning

A simple theorem prover made for a university programming assignment

Argumentation-based Dialog Reasoner

TypeDB: a strongly-typed database

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

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).

Implementing empathic agents with Jason

LogMap extension for conservativity principle

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…