{Query Algebra and Query Optimization for Concept Assertion Retrieval}