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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have