Skip to Main Content
Reasoning is central to the idea of the Semantic Web and ontologies, however, the fundamental principles of reasoning - soundness and completeness - do not match the reality of the (Semantic) Web that is ruled by contradicting and incomplete data and claims. Furthermore, logical reasoning is strong for rather small numbers of axioms and facts, while the Web is growing at an impressive speed and hence offering tremendous amounts of data. `Reasearch' is a novel idea of combining reasoning with information retrieval methods (search) in order to respond to the requirements and constraints implied by reasoning on the Semantic Web. The Large Knowledge Collider is a modular reasoning platform that allows for reasearching with Web-scale data, and instrumenting and monitoring the platform is essential for verifying and assuring high performance, adaptability and well-functioning. These aspects are vital for experiments running on the platform.
IST-Africa Conference Proceedings, 2011
Date of Conference: 11-13 May 2011