Brainstorm on contents for chapter on "Web Scale Reasoning" for the "Semantic Web Handbook"
General section on what reasoning is, notions of search spaces, and how the various approaches can all be explained as different ways of approacht too large search spaces
- Crawling
- Sindice
- Watson
- Swoogle
- Distribution
- P2P approaches
- Drago / DDL
- Heiner
- Centralised reasoners
- SAOR
- Minerva
- OWLIM
- Language restrictions
- Horst
- OWL2 profiles
- Parallelisatie
- HADOOP (?)
- MaRVIN
- Modularisatie
- Approximation/incompleteness
- Selection strategies (e.g syntactic, Google distance)
Approaches to scalability in other areas/domains (datamining?)