Research on knowledge retrieval and navigation system of web-based learning resources