Query Algebra and Query Optimization for Concept Assertion Retrieval

We develop a query algebra that supports efficient assertion retrieval--a natural extension of instance retrieval. The algebra is based on previously developed techniques for indexing concept descriptions. We show how relational-style query processing, including the use of secondary indices, of multiple cascaded indices, and so on, can be used to improve query performance, and also develop general conditions that enable query reformulation.

• Type: Journal
• Year: 2010
• Where: DLOG
• Authors: Jeffrey Pound, David Toman, Grant E. Weddell, Jiewen Wu
• Keywords: Automated Reasoning, DLOG 2010, Efficient Assertion Retrieval, Multiple Cascaded Indices, Query Algebra