Small Datalog Query Rewritings for EL - Stefanoni, G; Motik, B; Horrocks, I (2012)