Table 3.

Participant list with OWL 2 DL reasoners in the top and OWL 2 EL reasoners in the bottom part

Reasoner	New 2015	Consistency	Classification	Realisation	Language	License
OWL DL
Chainsaw  [47]	–	$✓$	$✓$	$✓$	Java	LGPL 2.0
FaCT++  [46]	–	$✓$	$✓$	$✓$	C++	LGPL 2.0
HermiT ${}^{\mathrm{a}}$ [9]	–	$✓$	$✓$	$✓$	Java	LGPL 3.0
Jfact  [32]	–	$✓$	$✓$	$✓$	Java	LGPL 2.0
Konclude  [41]	–	$✓$	$✓$	$✓$	C++	LGPL 2.1
MORe  [1]	–	$✓$	$✓$	–	Java	LGPL 3.0
PAGOdA  [50]	$✓$	–	–	$✓$	Java	Academic license
Pellet-OA4  [40]	$✓$	$✓$	$✓$	$✓$	Java	AGPL v3
Racer  [11]	$✓$	$✓$	$✓$	$✓$	LISP	BSD 3-clause license
TrOWL  [45]	–	$✓$	$✓$	$✓$	Java	AGPL v3
OWL EL
ELepHant  [39]	–	$✓$	$✓$	$✓$	C++	Apache Licence 2.0
ELK  [16]	–	$✓$	$✓$	$✓$	Java	Apache Licence 2.0
jcel  [25]	–	$✓$	$✓$	–	Java	Apache Licence 2.0

${}^{\mathrm{a}}$ HermiT was submitted with OWL API 3 and OWL API 4 bindings