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 Java-based OWL 2 EL reasoner☆117Jun 13, 2026Updated 3 weeks ago
- A library for Web Ontology Language in Python created using a bridge from horned-owl to python using PyO3.☆24Jun 25, 2026Updated last week
- ☆29Aug 26, 2014Updated 11 years ago
- Repository for the Procedural Knowledge Ontology (PKO)☆49Updated this week
- A GA4GH Draft Beacon implementation☆11Oct 23, 2015Updated 10 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆15Mar 27, 2026Updated 3 months ago
- A python abstraction for SKOS vocabularies☆19Updated this week
- 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☆13Jun 18, 2026Updated 2 weeks ago
- A tool for doing things with Profiles☆10May 20, 2026Updated last month
- TTL Writing Library☆14Feb 23, 2026Updated 4 months ago
- 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
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆12May 21, 2025Updated last year
- 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 8 months ago
- Meld compiler written in Common Lisp☆13Nov 20, 2015Updated 10 years ago
- Ring middleware to parse, decide and verify JWT tokens☆16Sep 6, 2025Updated 9 months ago
- Analaysis for the batch correction paper☆12Apr 26, 2025Updated last year
- Constraint Handling Rules in Clojure☆28Oct 14, 2011Updated 14 years ago
- Create and analyze argument graphs and serialize them via Protobuf☆10Jun 22, 2026Updated 2 weeks ago
- An implementation of the Universal RDF Dataset Normalization Algorithm (2015), using the Titanium JSON-LD library☆11Sep 6, 2024Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- IKEA Ansluta 433 MHz remote on/off switch reverse engineering☆16Jun 15, 2015Updated 11 years ago
- Bebop (BibTeX Publisher) provides a nice web interface to a list of publications stored in a BibTeX file.☆19Jan 19, 2012Updated 14 years ago
- adds xml support to fastapi☆16Jun 5, 2026Updated last month
- Compose file for WebProtégé services☆17Jun 27, 2026Updated last week
- ☆98Jun 25, 2026Updated last week
- This is Arbor, a parser and analysis platform.☆13Jun 28, 2026Updated last week
- ☆19May 13, 2021Updated 5 years ago
- ☆14Jan 25, 2023Updated 3 years ago
- Computing the gap statistics from Tibshirani et. al. for various clustering algorithms☆14Nov 10, 2025Updated 7 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
- Whelk is an OWL EL reasoner☆42Mar 5, 2025Updated last year
- Code for the Kaggle Marinexplore challenge☆17Apr 8, 2013Updated 13 years ago
- Maintained EasyRdf fork: a PHP library designed to make it easy to consume and produce RDF.☆26Jan 13, 2026Updated 5 months ago
- A SHACL validator capable of planning the traversal and execution of the validation of a shape schema to detect violations early.☆27Feb 24, 2026Updated 4 months ago
- Code repository for the paper "Towards a Comprehensive Evaluation of Dimension Reduction Methods for Data Visualization"☆15Jul 4, 2024Updated 2 years ago
- RDFGraphGen: A Synthetic RDF Graph Generator based on SHACL Constraints.☆57Jun 14, 2026Updated 3 weeks ago