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. 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.☆23Feb 11, 2026Updated 2 months ago
- 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
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- A python abstraction for SKOS vocabularies☆20Mar 12, 2026Updated 3 weeks ago
- ☆12Updated 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☆11Feb 10, 2026Updated 2 months ago
- Repo containing documentation and explanation for CSET's harm taxonomy of incidents from AIID.☆19Jun 21, 2024Updated last year
- A tool for doing things with Profiles☆10Mar 26, 2026Updated 2 weeks ago
- TTL Writing Library☆14Feb 23, 2026Updated last month
- Github Action that deploys datomic ions code to Datomic Cloud☆10Aug 22, 2023Updated 2 years ago
- A generic pipeline for converting tabular data into rdf data cubes☆14Feb 2, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- ☆12May 21, 2025Updated 10 months ago
- Python implementation of TARQL☆19Apr 29, 2022Updated 3 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 5 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 7 months ago
- Create and analyze argument graphs and serialize them via Protobuf☆10Mar 29, 2026Updated last week
- Constraint Handling Rules in Clojure☆28Oct 14, 2011Updated 14 years ago
- IKEA Ansluta 433 MHz remote on/off switch reverse engineering☆16Jun 15, 2015Updated 10 years ago
- An implementation of the Universal RDF Dataset Normalization Algorithm (2015), using the Titanium JSON-LD library☆11Sep 6, 2024Updated last year
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- adds xml support to fastapi☆16Oct 3, 2024Updated last year
- Compose file for WebProtégé services☆15Apr 3, 2026Updated last week
- The linked open dataset described at http://datahub.io/dataset/vu-wordnet, and the tools used to create it☆26Oct 19, 2020Updated 5 years ago
- Basic RDF Datatypes☆15Feb 23, 2026Updated last month
- A simple python cli file browser☆22May 10, 2022Updated 3 years ago
- Find data bottlenecks in large json objects.☆17May 6, 2025Updated 11 months ago
- Trilium in my pocket :)☆42Updated this week
- 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
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- A fast in-memory rule engine☆241Mar 25, 2026Updated 2 weeks ago
- ☆14Jan 25, 2023Updated 3 years ago
- first public version☆19Oct 17, 2017Updated 8 years ago
- CDbw Index For Cluster Validation☆10Mar 26, 2019Updated 7 years ago
- Computing the gap statistics from Tibshirani et. al. for various clustering algorithms☆13Nov 10, 2025Updated 5 months ago
- project extension for coc.nvim☆18Jan 7, 2023Updated 3 years ago
- Whelk is an OWL EL reasoner☆39Mar 5, 2025Updated last year