Cambridge Journals Online

Cambridge Journals Online
Skip to content
Theory and Practice of Logic Programming (2007), 7 : 249-300 Cambridge University Press
doi:10.1017/S1471068406002754
Published online by Cambridge University Press 14 Mar 2007
Cambridge Journals Online - CUP Full-Text Page
Theory and Practice of Logic Programming (2007), 7:249-300 Cambridge University Press
Copyright © Cambridge University Press 2007
doi:10.1017/S1471068406002754

Regular Papers

A knowledge-based approach for selecting information sources*


THOMAS EITERa1, MICHAEL FINKa1 and HANS TOMPITSa1

a1 Institut für Informationssysteme, Technische Universität Wien, Favoritenstraβe 9-11, A-1040 Vienna, Austria e-mail: eiter@kr.tuwien.ac.at, michael@kr.tuwien.ac.at, tompits@kr.tuwien.ac.at
Article author query
eiter t Google Scholar
fink m Google Scholar
tompits h Google Scholar

Abstract

Through the Internet and the World-Wide Web, a vast number of information sources has become available, which offer information on various subjects by different providers, often in heterogeneous formats. This calls for tools and methods for building an advanced information-processing infrastructure. One issue in this area is the selection of suitable information sources in query answering. In this paper, we present a knowledge-based approach to this problem, in the setting where one among a set of information sources (prototypically, data repositories) should be selected for evaluating a user query. We use extended logic programs (ELPs) to represent rich descriptions of the information sources, an underlying domain theory, and user queries in a formal query language (here, XML-QL, but other languages can be handled as well). Moreover, we use ELPs for declarative query analysis and generation of a query description. Central to our approach are declarative source-selection programs, for which we define syntax and semantics. Due to the structured nature of the considered data items, the semantics of such programs must carefully respect implicit context information in source-selection rules, and furthermore combine it with possible user preferences. A prototype implementation of our approach has been realized exploiting the DLV KR system and its PLP front-end for prioritized ELPs. We describe a representative example involving specific movie databases, and report about experimental results.

(Received April 16 2004)

(Revised August 13 2005)

(Accepted April 21 2006)

Key Words: knowledge representation; nonmonotonic reasoning; logic programming; answer-set programming; information-source selection; data repositories; preference handling

Footnotes

* Part of the material in this paper has appeared, in preliminary form, in the Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR '02), pp. 49–60, April 22–25, Toulouse, France, 2002.


back to top
Cambridge University Press