Protege Desktop
An Object Oriented Programming (OOP) interface for Ontology Web language (OWL) ontologies.
Cascading Stream Reasoning with Streaming MASSIF
A powerful Java library for RDF data manipulation, SPARQL querying, reasoning, and semantic web standard compliance.
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
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
A graphical interface for RDF data manipulation, SPARQL querying, and visualization using the Corese engine.
LiFR, the Lighweight Fuzzy semantic Reasoner.
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…
Deduction Rules for Ontology Reasoning
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."