Sirin, et al.. Pellet: A Practical OWL-DL Reasoner. Elsevier BV, 2007, doi:10.2139/ssrn.3199351.