HermiT: An OWL 2 Reasoner. (2014)

by Birte Glimm, Ian Horrocks, Boris Motik
Venue:Journal of Automated Reasoning. Volume