Logic programs for intelligent web search

  • Bernd Thomas
Communications 2B Intelligent Information Retrieval
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1609)


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.


intelligent information systems intelligent information retrieval WWW information extraction template based wrappers mediators logic programming theory reasoning deductive web databases softbots 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    M. E. Califf and R. J. Mooney. Relational Learning of Pattern-Match Rules for Information Extraction. In Working Papers of the ACL-97 Workshop in Natural Language Learning, 1997.Google Scholar
  2. 2.
    B. Carpenter. Typed Feature Structures: an Extension of First-order Terms. In Proceedings of the International Symposium on Logic Programming, 1991. San Diego.Google Scholar
  3. 3.
    S. Chawathe, H. Garcia-Molina, J. Hammer, K. Ireland, Y. Papakonstantinou, Y. Ullman, and J. Widom. The TSIMMIS project: Integration of heterogeneous information sources. In Proceedings of IPSJ, 1994. Japan.Google Scholar
  4. 4.
    O. Etzioni. Moving Up the Information Food Chain. AI Magazine, 18(2):11–18, Summer 1997.Google Scholar
  5. 5.
    M. R. Genesereth, A. M. Keller, and O. Duschka. Informaster: An Information Integration System. Proceedings of ACM SIGMOD Conference, May 1997.Google Scholar
  6. 6.
    J. Gruser, L. Raschid, M. Vidal, and L. Bright. A wrapper generation toolkit to specify and construct wrappers for web accesible data. Technical report, UMIACS, University of Maryland, 1998.Google Scholar
  7. 7.
    J. Hammer, H. Garcia-Molina, J. Cho, R. Aranha, and A. Crespo. Extracting semistructured information from the web. In In Proceedings of the Workshop on Management of Semistructured Data, May 1997.Google Scholar
  8. 8.
    D. Konopnicki and O. Shmueli. W3QS: A query system for the world-wide web. In Proceedings of VLDB’95, 1995.Google Scholar
  9. 9.
    N. Kushmerick, D. S. Weld, and R. Doorenbos. Wrapper Induction for Information Extraction. In M. E. Pollack, editor, Fifteenth International Joint Conference on Artificial Intelligence, volume 1, pages 729–735, August 1997. Japan.Google Scholar
  10. 10.
    A. Y. Levy, A. Rajaraman, and J. J. Ordille. Querying Heterogeneous Information Sources Using Source Descriptions. In Proceedings of the 22nd VLDB Conference, 1996. Mumbai (Bombay), India.Google Scholar
  11. 11.
    J. Lloyd. Foundations of Logic Programming. Springer-Verlag, 2 edition, 1987.Google Scholar
  12. 12.
    S. M. Shieber. An Introduction to Unification-Based Approaches to Grammar. CSLI, Leland Stanford Junior University, 1986. CSLI Lecture Notes 4.Google Scholar
  13. 13.
    M. Stickel. Automated Deduction by Theory Resolution. Journal of Automated Reasoning, 1:333–355, 1985.MATHMathSciNetCrossRefGoogle Scholar
  14. 14.
    V. Subrahmanian, S. Adali, A. Brink, R. Emery, J. J. Lu, A. Rajput, T. J. Rogers, R. Ross, and C. Ward. HERMES: A Heterogeneous Reasoning and Mediator System, 1996. http://www.cs.umd.edu//projects/hermes/overview/paper/index.html.Google Scholar
  15. 15.
    B. Thomas. Intelligent Web Querying with Logic Programs. In J. Dix and S. Hölldobler, editors, Proceedings of the Workshop on Inference Systems in Knowledge-based Systems, preceding the national German AI conference KI’98, Bremen, Germany. University of Koblenz, TR 10/98, August 1998.Google Scholar
  16. 16.
    G. Wiederhold. Mediators in the architecture of future information systems. IEEE Computer, pages 38–49, March 1992.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Bernd Thomas
    • 1
  1. 1.Institut für InformatikUniversität KoblenzKoblenzGermany

Personalised recommendations