Abstract:
The semantic kernel, key inquiries, their attributes are applied in search advance. But there are no relevant formal device and models yet. It is necessary to formalize problems of web search, advance. For example, using semantic indexing, updating of content. Increase in relevance of search queries, weight of
valuable content in deliveries is important (deliveries of "content for living people", not for search robots).
In this work the problem of formalization, axiomatization of this problem is considered.