This repository contains a list of information about OWL reasoners as well as systems, which use a third-party OWL reasoner.
☆28Dec 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A library for Web Ontology Language in Python created using a bridge from horned-owl to python using PyO3.☆23May 12, 2026Updated last week
- Lab for exercising SPARQL☆12Jan 16, 2022Updated 4 years ago
- ☆29Aug 26, 2014Updated 11 years ago
- Repository for the Procedural Knowledge Ontology (PKO)☆44Updated this week
- TypeLeap☆12Mar 8, 2025Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆15Mar 27, 2026Updated last month
- ☆10May 19, 2024Updated 2 years ago
- 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
- ☆12May 5, 2026Updated 2 weeks ago
- A scheduler to manage a multi tool dual arm robot while avoiding arm-to-arm collisions; considering complex side constraints; and optimiz…☆11Jul 6, 2021Updated 4 years ago
- programs written in Picat☆12May 6, 2026Updated 2 weeks ago
- Repo containing documentation and explanation for CSET's harm taxonomy of incidents from AIID.☆20Jun 21, 2024Updated last year
- Julia module to handle PLINK BED files☆11Jul 10, 2018Updated 7 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- An attempt to replicate the neural programmer work [Neelakantan et al 2016, 2017] using techniques for learning probability distributions…☆13Jun 7, 2017Updated 8 years ago
- A pure Dart package for working with RDF (resource description framework).☆15May 12, 2026Updated last week
- Julia wrapper around SWI Prolog☆13Feb 17, 2022Updated 4 years ago
- Github Action that deploys datomic ions code to Datomic Cloud☆10Aug 22, 2023Updated 2 years ago
- A GUI for edit RDF with SHACL constraints☆14Sep 26, 2023Updated 2 years ago
- Python implementation of TARQL☆19Apr 29, 2022Updated 4 years ago
- CubeViz.js is the successor of the CubeViz and provides statistical data exploration and visualization. Its completely written in JavaScr…☆16Nov 4, 2025Updated 6 months ago
- Analaysis for the batch correction paper☆12Apr 26, 2025Updated last year
- Constraint Handling Rules in Clojure☆28Oct 14, 2011Updated 14 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- An implementation of the Universal RDF Dataset Normalization Algorithm (2015), using the Titanium JSON-LD library☆11Sep 6, 2024Updated last year
- Basic RDF Datatypes☆15Feb 23, 2026Updated 3 months ago
- A simple python cli file browser☆22May 10, 2022Updated 4 years ago
- This is Arbor, a parser and analysis platform.☆13May 17, 2026Updated last week
- ☆19May 13, 2021Updated 5 years ago
- Superoptimizer using the z3 SMT solver☆17Nov 1, 2025Updated 6 months ago
- ☆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
- Computing the gap statistics from Tibshirani et. al. for various clustering algorithms☆13Nov 10, 2025Updated 6 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Collaborative Fact Checking☆16Jan 17, 2025Updated last year
- Growth curve analysis☆14Jul 26, 2025Updated 9 months ago
- Code for the Kaggle Marinexplore challenge☆17Apr 8, 2013Updated 13 years ago
- Whelk is an OWL EL reasoner☆41Mar 5, 2025Updated last year
- Parses Datomic datalog queries serialized over plain json.☆16Oct 17, 2022Updated 3 years ago
- FISH Iterative Cell Typing☆11Mar 24, 2024Updated 2 years ago
- Maintained EasyRdf fork: a PHP library designed to make it easy to consume and produce RDF.☆26Jan 13, 2026Updated 4 months ago