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.

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

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

owlready2 Chinese支持实体中文，适用于医学类疾病、症状等名词较多，不易英文或拼音区分的情况