Sirin, et al.. Pellet: A Practical OWL-DL Reasoner. Elsevier BV, 2007, doi:10.1016/j.websem.2007.03.004.