Loading...
Please wait, while we are loading the content...
A Formalization of Metaphors and Image-Schemas in User Interfaces
| Content Provider | Semantic Scholar |
|---|---|
| Author | Kuhn, Werner Frank, Andrew U. |
| Copyright Year | 1991 |
| Abstract | Sound engineering approaches to user interface design require the formalization of key interaction concepts, one of them being metaphor. Work on interface metaphors has, however, been largely non-formal so far. The few existing formal theories of metaphor have been developed in the context of natural language understanding, learning, or reasoning. We propose to formalize interface metaphors by algebraic specifications. This approach provides a comprehensive formalization for the essential aspects of metaphorical user interfaces. Specifically, metaphor domains are being formalized by algebras, metaphorical mappings by morphisms, and image-schemas by categories. The paper explains these concepts and the approach, using examples of spatial and spatializing metaphors. |
| Starting Page | 419 |
| Ending Page | 434 |
| Page Count | 16 |
| File Format | PDF HTM / HTML |
| DOI | 10.1007/978-94-011-2606-9_24 |
| Alternate Webpage(s) | https://doi.org/10.1007/978-94-011-2606-9_24 |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
