(currently under review), VU Amsterdam PhD student Jacopo Urbani has shown how to extend the MapReduce algorithms to the OWL Horst semantics. This allowed him and his team to compute the full OWL Horst closure of the UniProt dataset (1.5billion triples) in just over 6 hours on 32 commmodity machines from the DAS-3 cluster, outperforming the best results to date by a large margin.<br />
(Besides this result, they also used their algorithm to break the 100billion triple barrier for the first time ever, see <