F.  Maier, Mutharaju, R., and Hitzler, P., ?Distributed Reasoning with EL++ Using MapReduce?, Wright State University, Dayton, OH, USA, 2010.