A Survey of Current, Stand-alone OWL Reasoners
Nicolas Matentzoglu, Jared Leo, Valentino Hudhra, Ulrike Sattler, Bijan Parsia · Research Explorer (The University of Manchester) · 2015
We present a survey of the current OWL reasoner landscape. Through literature and web search we have identified 35 OWL reasoners that are, at least to some degree, actively maintained. We conducted a survey directly addressing the respective developers, and collected 33 responses. We present an analysis of the survey, characterising all reasoners across a wide range of categories such as supported expressiveness and reasoning services. We will also provide some insight about ongoing research efforts and a rough categorisation of reasoner calculi.