Protege Desktop
An Object Oriented Programming (OOP) interface for Ontology Web language (OWL) ontologies.
Cascading Stream Reasoning with Streaming MASSIF
An OWL ontology describing events, characters and places in the Star Wars Universe
Components of PSOATransRun system
A simple theorem prover made for a university programming assignment
A powerful Java library for RDF data manipulation, SPARQL querying, reasoning, and semantic web standard compliance.
TypeDB: a strongly-typed database
Implementing empathic agents with Jason
A Preferential Reasoner for Ontologies
In this bachelor thesis, I developed a toolkit for automated reasoning and interpolation with ordered resolution.
Argumentation-based Dialog Reasoner
Deduction Rules for Ontology Reasoning
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…
LogMap extension for conservativity principle
LiFR, the Lighweight Fuzzy semantic Reasoner.
AI Model Generator
Add a description, image, and links to the reasoning topic page so that developers can more easily learn about it.
To associate your repository with the reasoning topic, visit your repo's landing page and select "manage topics."