OWL Reasoners still useable in 2023

TL;DR

This paper provides a comprehensive review of over 100 OWL reasoners and systems, assessing their usability in 2023, and offers an updated resource for researchers and practitioners in knowledge management.

Contribution

It is the first extensive survey in 8 years that catalogs 95 OWL reasoners with detailed information and open data for ongoing use and research.

Findings

95 OWL reasoners and systems identified

Most reasoners remain usable and relevant in 2023

Research data openly available on Github

Abstract

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.