Unifying Reasoning and Search to Web Scale

The Web and reasoning started to meet around 1996 with the first projects that added semantics to Web page descriptions in much the same way that HTML added formatting information. Despite the subsequent growth of these semantic Web efforts into a dynamic and well-established research area, serious doubt remains whether reasoning really adds something useful in the Web context. Traditional notions of complete and correct reasoning are obviously based on a heavily simplified world view naively applied to reality. Researchers have developed reasoning methods for rather small, closed, trustworthy, consistent, and static domains. They usually provide a small set of axioms; a proof engine can typically provide complete and correct inferences of the knowledge contained in them