A searching result can be returned for submitting user query to Search Engine(SE). However, large numbers of Web pages in the searching result are not interested by users. To overcome this problem, from automated reasoning perspective, we put forward a matching model how to match user query with Web pages. According as the basic theory of formal concept lattice, we defined OR-RULE and AND-RULE, put forward AND-MATCH and OR-MATCH. Two reasoning methods based on AND-MATCH and OR-MATCH, and their algorithms of the matching model, are proposed. The experiment demonstrates that these method is efficient.