Using First-Order Logic for Web Searching

A new model will be introduced for Web information searching. Within the web, information is classified and then well defined according to its characteristics and functions. Associations are then set up logically between such information. Web information described as XML elements comes together with associations that are also XML elements. Given user´s requests, the searching results can be inferred from those associations. from another end, the informal semantics of first-order logic (FOL) can be described in different abstraction level and logically specify computation problems. So it is possible to apply FOL to a definition as an external semantic file both for web information and associations. With each website having the semantics file on server site, when searching, userpsilas queries can be fulfilled by looking through the semantics XML file rather than the actual web pages, following the inferred chains based on FOL. Therefore, only the most matched results should be returned for the user´s eye. This method can improve the effectiveness of Web searching and keep the information of a website better organized.