This repository contains a list of information about OWL reasoners as well as systems, which use a third-party OWL reasoner.
☆27Dec 13, 2024Updated last year
Alternatives and similar repositories for owl-reasoner-list
Users that are interested in owl-reasoner-list are comparing it to the libraries listed below
Sorting:
- A Java-based OWL 2 EL reasoner☆115Jul 11, 2024Updated last year
- A library for Web Ontology Language in Python created using a bridge from horned-owl to python using PyO3.☆23Feb 11, 2026Updated last month
- Repository for the Procedural Knowledge Ontology (PKO)☆36Feb 17, 2026Updated last month
- Lab for exercising SPARQL☆12Jan 16, 2022Updated 4 years ago
- ☆29Aug 26, 2014Updated 11 years ago
- A GA4GH Draft Beacon implementation☆11Oct 23, 2015Updated 10 years ago
- TypeLeap☆12Mar 8, 2025Updated last year
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆14Mar 12, 2026Updated last week
- Software for creating and comparing genome fingerprints.☆11Jun 30, 2024Updated last year
- Ad-hoc light weight SPARQL endpoint from a file, using Python Flask and RDFlib☆15Oct 24, 2016Updated 9 years ago
- ☆12Updated this week
- TTL Writing Library☆14Feb 23, 2026Updated 3 weeks ago
- Julia wrapper around SWI Prolog☆13Feb 17, 2022Updated 4 years ago
- Chatmodes project for Copilot☆18Dec 12, 2025Updated 3 months ago
- ☆13Jan 6, 2018Updated 8 years ago
- A GUI for edit RDF with SHACL constraints☆14Sep 26, 2023Updated 2 years ago
- A generic pipeline for converting tabular data into rdf data cubes☆14Feb 2, 2023Updated 3 years ago
- Ring middleware to parse, decide and verify JWT tokens☆16Sep 6, 2025Updated 6 months ago
- Analaysis for the batch correction paper☆12Apr 26, 2025Updated 10 months ago
- Constraint Handling Rules in Clojure☆28Oct 14, 2011Updated 14 years ago
- An implementation of the Universal RDF Dataset Normalization Algorithm (2015), using the Titanium JSON-LD library☆10Sep 6, 2024Updated last year
- IKEA Ansluta 433 MHz remote on/off switch reverse engineering☆16Jun 15, 2015Updated 10 years ago
- Basic RDF Datatypes☆15Feb 23, 2026Updated 3 weeks ago
- ☆96Jan 9, 2026Updated 2 months ago
- A simple python cli file browser☆22May 10, 2022Updated 3 years ago
- ANTLR4 grammar for all Magic: the Gathering cards in Guilds of Ravnica☆11Mar 2, 2023Updated 3 years ago
- This is Arbor, a parser and analysis platform.☆13Updated this week
- ☆14Jan 25, 2023Updated 3 years ago
- This repository contains the code for all figures in the paper "General Pitfalls of Model-agnostic Interpretation Methods for Machine Lea…☆15Aug 17, 2021Updated 4 years ago
- Less-wrong single-file Numba-accelerated Python implementation of Gotoh affine gap penalty extensions for the Needleman–Wunsch, Smith-Wat…☆12Oct 30, 2025Updated 4 months ago
- CDbw Index For Cluster Validation☆10Mar 26, 2019Updated 6 years ago
- first public version☆19Oct 17, 2017Updated 8 years ago
- Computing the gap statistics from Tibshirani et. al. for various clustering algorithms☆13Nov 10, 2025Updated 4 months ago
- Growth curve analysis☆14Jul 26, 2025Updated 7 months ago
- Parses Datomic datalog queries serialized over plain json.☆16Oct 17, 2022Updated 3 years ago
- Maintained EasyRdf fork: a PHP library designed to make it easy to consume and produce RDF.☆26Jan 13, 2026Updated 2 months ago
- A SHACL validator capable of planning the traversal and execution of the validation of a shape schema to detect violations early.☆25Feb 24, 2026Updated 3 weeks ago
- Code repository for the paper "Towards a Comprehensive Evaluation of Dimension Reduction Methods for Data Visualization"☆14Jul 4, 2024Updated last year
- Test genes for Spatial Variation☆15Dec 20, 2024Updated last year