"The aim of the EU FP 7 Large-Scale Integrating Project LarKC is to develop the Large Knowledge Collider", "a platform for massive distributed incomplete reasoning that will remove the scalability barriers of currently existing reasoning systems for the Semantic Web."