A Framework for Answering Queries using Multiple Representation and Inference Techniques

The Polylog framework is designed to provide a language for efficiently automating complex queries of information represented in multiple formats. A Polylog program contains a set of modules called specialists that store and make inferences about data in a particular representation. The FocusLoop algorithm answers queries by combining the knowledge and computation of all the specialists. Logic program duals for Polylog programs are introduced to prove that FocusLoop is sound and complete. A logic program dual makes the same inferences as the Polylog program it corresponds to. By using one program to formally characterize behavior and another to implement it, the traditional tradeoffs between provably correct automated question answering, representational flexibility and efficient execution are greatly reduced. Specialists using representations such as neural networks, ontologies, logical clauses and constraint graphs have already been implemented. They demonstrate that complex queri...

• Type: Conference
• Year: 2003
• Where: KRDB
• Authors: Nicholas L. Cassimatis
• Keywords: Database, KRDB 2003, Logic Program Dual, Polylog Framework, Polylog Program