# OWL Reasoners still useable in 2023

arXiv: https://arxiv.org/abs/2309.06888 · HTML: https://mlsanity.com/paper/2309.06888/

## Key facts

- Cited by 2 papers in the map (data through 14 Oct 2026).
- Builds on 2 of its 100 references that are in the map.
- First posted on arXiv 13 Sep 2023.

## Builds on (most cited first, 2 of 2)

- [Extending Consequence-Based Reasoning to SRIQ](https://mlsanity.com/paper/1602.04498/) (2016)
- [Expressive Reasoning Graph Store: A Unified Framework for Managing RDF and Property Graph Databases](https://mlsanity.com/paper/2209.05828/) (2022)

## Built on by (most cited first, 2 of 2)

- [Implementing Knowledge Representation and Reasoning with Object Oriented Design](https://mlsanity.com/paper/2601.14840/) (2026)
- [Rewrite Once, Validate Anywhere: Producing OWL-Aware SHACL Constraints (Extended Version)](https://mlsanity.com/paper/2608.14104/) (2026)

## Abstract (arXiv)

In a systematic literature and software review over 100 OWL reasoners/systems were analyzed to see if they would still be usable in 2023. This has never been done in this capacity. OWL reasoners still play an important role in knowledge organisation and management, but the last comprehensive surveys/studies are more than 8 years old. The result of this work is a comprehensive list of 95 standalone OWL reasoners and systems using an OWL reasoner. For each item, information on project pages, source code repositories and related documentation was gathered. The raw research data is provided in a Github repository for anyone to use.