A Conceptual-Model-Based Computational Alembic for a Web of Knowledge

The current web is a web of linked pages. Frustrated users search for facts by guessing which keywords or keyword phrases might lead them to pages where they can find facts. Can we make it possible for users to search directly for facts embedded in web pages? Instead of a web of human-readable pages containing machine-inaccessible facts, can the web be a web of machine-accessible facts superimposed over a web of human-readable pages? Ultimately, can the web be a WoK (a Web of Knowledge) that can provide direct answers to factual questions and support these answers by referencing and highlighting relevant base facts embedded in source pages?