OpenNARS for Research 3.0+

Openllet is an OWL 2 reasoner in Java, build on top of Pellet.

General reasoning component for applications based on NARS theory.

A Clojure implementation of the Non-Axiomatic Reasoning System proposed by Pei Wang.

A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.

The ErgoAI reasoning engine, an advanced object-oriented knowledge management system

Adaptive Logic and Neural Network (ALANN) version of NARS style General Machine Intelligence (GMI)

Python bindings for upgraded FaCT++ description logic reasoner

Lightweight and friendly .NET library for realizing intelligent Semantic Web applications

Wolpertinger: A Fixed-Domain Reasoner for OWL

ErgoAI's Java IDE

This package provides algorithms for reasoning, namely including a sat solver and an automatic theorem prover both based on analytic tableau technique.

Notation3 reasoning application using EYE in the browser and remotely on a server. Input data from your solid pod, a generic location on the web or directly as text

📊 A cross-platform, energy-aware evaluation tool for OWL reasoners

A Preferential Reasoner for Ontologies

Michael's Description Logic Reasoner Framework

NAL based reasoner

Adaptive Logic And Neural Net version of NARS

2nd Non-Axiomatic Experiment in 2019

Nothing fancy, nothing special, just a python reasoner for the spatio-temporal reasoning lecture