SPATIAL COGNITION AND COMPUTATION, vol(issue), start–end Copyright © YYYY, Lawrence Erlbaum Associates, Inc An Analysis of the "Navigation" Metaphor − and Why it Works for the World Wide Web Hartwig H. Hochmair* and Klaus Lüttich** *St. Cloud State University, Department of Geography **University of Bremen, Faculty 3: Mathematics/Computer Science Abstract. 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. Keywords: Metaphor, Web navigation, algebraic specification, agent model Correspondence concerning this article should be addressed to Hartwig H. Hochmair, St. Cloud State University, Department of Geography, 720 Fourth Ave South, St. Cloud, MN-56301, USA; email:
[email protected] 2 HOCHMAIR, LÜTTICH 1 Introduction Metaphors have become a key idea especially in human-computer interaction (Carroll et al.