The aim of the EU FP 7 Large-Scale Integrating Project LarKC is to develop the Large Knowledge Collider (LarKC, for short, pronounced “lark”), a platform for massive distributed incomplete reasoning that will remove the scalability barriers of currently existing reasoning systems for the Semantic Web.
The project did cost approx. €10 Mill. and the outcome is moderate. It shows the great challenges of developing such a system. The project video on the website is gordous.