The complexity of optimization problems
Journal of Computer and System Sciences - Structure in Complexity Theory Conference, June 2-5, 1986
Foundations of deductive databases and logic programming
Foundations of deductive databases and logic programming
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
On the declarative semantics of deductive databases and logic programs
Foundations of deductive databases and logic programming
CLASSIC: a structural data model for objects
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Logic programs with exceptions
Logic programming
Incorporating a semantic analysis into a document retrieval strategy
SIGIR '91 Proceedings of the 14th annual international ACM SIGIR conference on Research and development in information retrieval
A nonmonotonic reasoning formalism using implicit specificity information
Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
Intelligent integration of information
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Proceedings of the eleventh international conference on Logic programming
Data model and query evaluation in global information systems
Journal of Intelligent Information Systems - Special issue: networked information discovery and retrieval
Query reformulation for dynamic information integration
Journal of Intelligent Information Systems - Special issue on intelligent integration of information
InfoSleuth: agent-based semantic integration of information in open and dynamic environments
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
Infomaster: an information integration system
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
The TSIMMIS Approach to Mediation: Data Models and Languages
Journal of Intelligent Information Systems - Special issue: next generation information technologies and systems
The Carnot Heterogeneous Database Project: Implemented Applications
Distributed and Parallel Databases
ACM Transactions on Database Systems (TODS)
AGENTS '97 Proceedings of the first international conference on Autonomous agents
Preferred answer sets for extended logic programs
Artificial Intelligence
Agent-based semantic interoperability in infosleuth
ACM SIGMOD Record
WWW '99 Proceedings of the eighth international conference on World Wide Web
A decision-theoretic approach to database selection in networked IR
ACM Transactions on Information Systems (TOIS)
Data on the Web: from relations to semistructured data and XML
Data on the Web: from relations to semistructured data and XML
Artificial Intelligence - Special issue on Intelligent internet systems
Prioritized logic programming and its application to commonsense reasoning
Artificial Intelligence
Heterogeneous Agent Systems
LUPS---a language for updating logic programs
Artificial Intelligence
Building Large Knowledge-Based Systems; Representation and Inference in the Cyc Project
Building Large Knowledge-Based Systems; Representation and Inference in the Cyc Project
Knowledge Representation, Reasoning, and Declarative Problem Solving
Knowledge Representation, Reasoning, and Declarative Problem Solving
Enhancing Disjunctive Datalog by Constraints
IEEE Transactions on Knowledge and Data Engineering
Querying Heterogeneous Information Sources Using Source Descriptions
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
Web-Based Information Retrieval Using Agent and Ontology
WI '01 Proceedings of the First Asia-Pacific Conference on Web Intelligence: Research and Development
Ontology-Based Information Gathering Agents
WI '01 Proceedings of the First Asia-Pacific Conference on Web Intelligence: Research and Development
A Logical Basis for Object Oriented Programming
JELIA '90 Proceedings of the European Workshop on Logics in AI
Preferred Answer Sets for Ordered Logic Programs
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
Scalable Semantic Brokering over Dynamic Heterogeneous Data Sources in InfoSleuth"
IEEE Transactions on Knowledge and Data Engineering
A framework for compiling preferences in logic programs
Theory and Practice of Logic Programming
Using methods of declarative logic programming for intelligent information agents
Theory and Practice of Logic Programming
On properties of update sequences based on causal rejection
Theory and Practice of Logic Programming
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
A uniform integration of higher-order reasoning and external evaluations in answer-set programming
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Hi-index | 0.00 |
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.