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 fundamental assumption is a suitable reasoning infrastructure for the Semantic Web must go beyond the current paradigms that are strictly based on logic. By fusing reasoning (in the sense of logic) with search (in the sense of information retrieval), and taking seriously the notion of limited rationality (in the sense of Herbert Simon), we will obtain the paradigm shift that is required for reasoning at Web scale.

Homepage: http://www.larkc.eu