Quote
M. Peters, S. Sachweh, and A. Zündorf, "Large scale rule-based reasoning using a laptop," in The semantic web : latest advances and new domains ; 12th European semantic web conference, ESWC 2015, Portoroz, Slovenia, May 31 - June 4, 2015 ; proceedings, Cham: Springer International Publishing, 2015, pp. 104-118.