Logic Programs for Intelligent Web Search

We present a general framework for information extraction from web pages based on a special wrapper language, called token-templates. By using token-templates in conjunction with logic programs we are able to reason about web page contents, search and collect facts and derive new facts from various web pages. We give a formal definition for the semantics of logic programs extended by token-templates and define a general answer-complete calculus for these extended programs. These methods and techniques are used to build intelligent mediators and web information systems. Keywords: intelligent information systems; intelligent information retrieval; WWW; information extraction; template based wrappers; mediators; logic programming; theory reasoning; deductive web databases; softbots. 1 Introduction Our goal is to develop techniques for the process of information extraction (IE), locating specific pieces of text in a document, from semistructured documents like web pages. In the last few..