Protege Desktop
TypeQL: the power of programming, in your database
An Object Oriented Programming (OOP) interface for Ontology Web language (OWL) ontologies.
Cascading Stream Reasoning with Streaming MASSIF
Components of PSOATransRun system
An OWL ontology describing events, characters and places in the Star Wars Universe
A simple theorem prover made for a university programming assignment
Implementing empathic agents with Jason
A Preferential Reasoner for Ontologies
TypeDB: a strongly-typed database
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
LiFR, the Lighweight Fuzzy semantic Reasoner.
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
A powerful Java library for RDF data manipulation, SPARQL querying, reasoning, and semantic web standard compliance.
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."