Serverseitige Auswertung von Indexen semantischer, clientseitiger Caches in mobilen Informationssystemen