I: HermiT: a highly-efficient OWL reasoner (2008)

by R Shearer, B Motik, Horrocks
Venue:Universitaet Karlsruhe