An Analysis of the Navigation Metaphor—And Why It Works for the World Wide Web

People use spatial metaphors when they talk about activities on the World Wide Web, such as navigating the Web, reaching one's goal, visiting a Web site, or moving back to a previous Web page. These expressions are mappings from the physical world to an application domain. We analyze why Web users conceptualize clicking on a sequence of Web links as navigation. The semantics of an object or an activity in its source domain can be defined over its behavior with a set of axioms. We propose that these axioms must also be satisfied in the target domain for an object or activity to yield a sound metaphor. We use a first-order algebraic specification language to define the semantics of navigation in the real world as a set of axioms, specify a Web navigating agent as algebra, and demonstrate that there exists a morphism between both specifications, which means that the Web agent behaves according to the set of wayfinding axioms. This suggested method is another step towards a formally grounded explanation of metaphorical mappings.