In a system with cache that includes contents for each of a set of semantic regions, a query signature corresponding to a query is obtained. The query signature is used, together with a region signature for at least one of the regions, to find one or more semantic regions that are qualified and to use the contents of at least one of the qualified regions to obtain an answer to the query. The signatures can, for example, be binary strings, all having the same length. If the query and region formula are each a conjunction of terms, a signature can be obtained for each term and term signatures can be combined to obtain a query or region signature. Each signature can, for example, be a binary string, with all signatures having the same length so that signatures can be combined by performing logical operations. The query signature can be compared with the region signatures to determine whether the query is equivalent to or contained in any of the regions, in which case an answer can be obtained from cached contents. If not, another comparison can be made, either to determine whether any of the regions are contained within the query or to determine whether the query is likely to have a one-term difference with any of the regions. In these cases, a partial answer to the query can be obtained from cached contents that match the query, and a query remainder can be sent to obtain content necessary for a complete answer.

Em um sistema com esconderijo que inclui índices para cada um de um jogo de regiões semânticas, uma assinatura da pergunta que corresponde a uma pergunta é obtida. A assinatura da pergunta é usada, junto com uma assinatura da região para ao menos uma das regiões, encontrar um ou mais região semântica que são qualificadas e usar os índices ao menos de uma das regiões qualificadas obter uma resposta à pergunta. As assinaturas podem, para o exemplo, ser cordas binárias, tudo que tem o mesmo comprimento. Se a fórmula da pergunta e da região for cada uma junção dos termos, uma assinatura pode ser obtida para cada termo e as assinaturas do termo podem ser combinadas para obter uma assinatura da pergunta ou da região. Cada assinatura pode, para o exemplo, ser uma corda binária, com todas as assinaturas que têm o mesmo comprimento de modo que as assinaturas possam ser combinadas executando operações lógicas. A assinatura da pergunta pode ser comparada com as assinaturas da região para determinar a se a pergunta é equivalente ou contido em algumas das regiões, que no caso uma resposta pode ser obtida dos índices cached. If.not, uma outra comparação pode ser feita, qualquer um para determinar se algumas das regiões estão contidas dentro da pergunta ou para determinar se a pergunta é provável ter uma diferença do um-termo com as algumas das regiões. Nestes casos, uma resposta parcial à pergunta pode ser obtida dos índices cached que combinam a pergunta, e um restante da pergunta pode ser emitido para obter o índice necessário para uma resposta completa.