4 Semantic Cache Reasoners