reasoner

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.

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

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

Python bindings for upgraded FaCT++ description logic reasoner

Wolpertinger: A Fixed-Domain Reasoner for OWL

Lightweight and friendly .NET library for realizing Semantic Web applications

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

2nd Non-Axiomatic Experiment in 2019

Adaptive Logic And Neural Net version of NARS

A Preferential Reasoner for Ontologies

NAL based reasoner

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

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

Michael's Description Logic Reasoner Framework

Python datalog-style reasoner

Ontology and reasoner proof of concept

Implementation of our novel EHR framework using python Django.