Ian Horrocks, Boris Motik, Zhe Wang. The HermiT OWL Reasoner. In Ian Horrocks, Mikalai Yatskevich, Ernesto Jiménez-Ruiz, editors, Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), Manchester, UK, July 1st, 2012. Volume 858 of CEUR Workshop Proceedings, CEUR-WS.org, 2012. [doi]
@inproceedings{HorrocksMW12, title = {The HermiT OWL Reasoner}, author = {Ian Horrocks and Boris Motik and Zhe Wang}, year = {2012}, url = {http://ceur-ws.org/Vol-858/ore2012_paper13.pdf}, researchr = {https://researchr.org/publication/HorrocksMW12}, cites = {0}, citedby = {0}, booktitle = {Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), Manchester, UK, July 1st, 2012}, editor = {Ian Horrocks and Mikalai Yatskevich and Ernesto Jiménez-Ruiz}, volume = {858}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, }