A method of forming a solution-based search query from a symptom-based search query for searching a solution-based document database is presented. A user query comprised of perceived symptom-based search terms is preprocessed to remove extraneous terms. The remaining search query is evaluated to identify symptom-based terminology. The symptom-based terminology is used to access a synonym database which matches the symptom-based search term with a solution-based search term. The solution-based search term is substituted into the original search term and the solution-based search query is entered into a search engine for identification of solution-based documents.