Markus Stocker Michael Smith Owlgres: A Scalable OWL Reasoner. 2008 OWLED http://ceur-ws.org/Vol-432/owled2008eu_submission_25.pdf conf/owled/2008 db/conf/owled/owled2008.html#StockerS08