Automated deduction by theory resolution
Journal of Automated Reasoning
Hybrid reasoning using universal attachment
Artificial Intelligence
Semantic interoperability in global information systems
ACM SIGMOD Record
A library of generic concepts for composing knowledge bases
Proceedings of the 1st international conference on Knowledge capture
Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies
Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies
Semantic integration: a survey of ontology-based approaches
ACM SIGMOD Record
Managing Probabilistic Data with MystiQ: The Can-Do, the Could-Do, and the Can't-Do
SUM '08 Proceedings of the 2nd international conference on Scalable Uncertainty Management
Hi-index | 0.00 |
We report on our experience in developing a query-answering system that integrates multiple knowledge sources. The system is based on a novel architecture for combining knowledge sources in which the sources can produce new subgoals as well as ground facts in the search for answers to existing subgoals. The system uses a query planner that takes into account different query-processing capabilities of individual sources and augments them gracefully. A reusable ontology provides a mediated schema that serves as the basis for integration. We have evaluated the system on a suite of test queries in a realistic application to verify the practicality of our approach.