Abstract
The design and construction of navigation menus for websites have traditionally been performed manually according to the intuition of a web developer. This paper introduces a new approach, FcAWN (pronounced “fawn”) – Formal concept Analysis for Web Navigation – to assist in the design and generation of a coherent and logical navigation hierarchy for a set of web documents. We provide an algorithmic process for generating multi-layered menu models using FcAWN and demonstrate its feasibility with an experimental case study. Our study reveals a fundamental difference between the traditional tree-based menu structure and the lattice-based menu structure by FcAWN: a FcAWN-generated lattice structure is more general than a tree structure and yet is mathematically sound and uniquely suited for menu design and construction. FcAWN is the first mathematical principle for menu design and generation, providing a practical basis for human-computer interaction.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Cole, R.J.: The Management and Visualization of Document Collections Using Formal Concept Analysis. Ph.D. Thesis, GriÆth University, Australia (2000)
Cole, R., Eklund, P.: Browsing semi-structured web texts using formal concept analysis. In: Proc. 9th International Conference on Conceptual Structures, pp. 319–332 (2001)
Cole, R., Eklund, P., Stumme, G.: Document retrieval for email search and discovery using formal concept analysis. Applied Artificial Intelligence 17, 257–280 (2003)
Crampes, M., Ranwez, S.: Ontology-supported and ontology-driven conceptual navigation on the World Wide Web. In: Proceedings of the 11th ACM conference on Hypertext and Hypermedia, San Antonio, Texas, USA, pp. 191–199 (2000)
Eklund, P., Ducrou, J., Brawn, P.: Concept lattices for information visualization: Can novices read line-diagrams? In: Eklund, P. (ed.) ICFCA 2004. LNCS (LNAI), vol. 2961, pp. 57–73. Springer, Heidelberg (2004)
Ganter, B., Wille, R.: Formal Concept Analysis. Springer, Heidelberg (1999)
Ganter, B.: Beitraäge zur Begri.sanalyse. Chapter Algorithmen zur Formalen Begri.sanalyse, BI-Wissenschaftsverlag (1987)
Ganter, B., Kuznetsov, S.O.: Stepwise construction of the Dedekind-MacNeille completion. In: Proc. 6th International Conference on Conceptual Structures, pp. 295–302 (1998)
Hearst, M.: User interfaces and visualization. In: Baeza-Yates, R., Ribeiro-Neto, B. (eds.) Modern Information Retrieval, vol. Chapter 10, pp. 257–323. Addison-Wesley Longman Publishing Company, Amsterdam (1999)
Hitzler, P., Zhang, G.-Q.: A cartesian closed category of approximable concept structures. In: Wolff, K.E., Pfeiffer, H.D., Delugach, H.S. (eds.) ICCS 2004. LNCS (LNAI), vol. 3127, pp. 170–185. Springer, Heidelberg (2004)
Ho, T.: An approach to concept formation based on formal concept analysis. IEICE Trans. Information and Systems E78-D(5), 553–559 (1995)
Ivory, M., Hearst, M.: Improving web site design. IEEE Internet Computing 6(2), 56–63 (2002)
Ivory, M., Sinha, R., Hearst, M.: Empirically validated web page design metrics. In: ACM Conference on Human Factors in Computing Systems; CHI Letters 3(1), 53–60 (2001)
Ivory, M., Hearst, M.: The state of the art in automated usability evaluation of user Interfaces. ACM Computing Surveys 33(4), 173–197 (2001)
Joslyn, C., Oliverira, J., Scherrer, C.: Order theoretical knowledge discovery: a white paper. LANL Technical Report LAUR 04-5812 (2004)
Krötzsch, M., Hitzler, P., Zhang, G.Q.: A categorical view on algebraic lattices in formal concept analysis. Submitted to Theoretical Computer Science
Krötzsch, M., Hitzler, P., Zhang, G.Q.: Morphisms in context. In: 13th International Conference on Conceptual Structures (ICCS 2005), Kassel, Germany (2005) (In press)
Lindig, C.: Fast concept analysis. In: Stumme, G. (ed.) Working with Conceptual Structures - Contributions to ICCS 2000, pp. 152–161. Shaker-Verlag, Aachen (2000)
Moody, J., White, D.: Structural cohesion and embeddedness: a hierarchical concept of social groups. American Sociological Review 68(1), 103–127 (2003)
Norman, D.A.: Design principles for human-computer interfaces. In: Proceedings of the SIGCHI conference on Human Factors in Computing Systems, pp. 1–10 (1983)
Pollard, R.: A hypertext-based thesaurus as a subject browsing aid for bibliographic databases. Information Processing and Management, Vol 29(3), 345–357 (1993)
Priss, U.: Formal concept analysis in information science. Annual Review of Information Science and Technology (ARIST) 40, 22 pages
Rizzo, R., Fulantelli, G., Allegra, M.: Browsing a document collection as an hypertext. In: Proc. World Conference on the WWW and Internet, San Antonio, USA, pp. 454–458 (2000)
Shen, G., Tian, Y., Sun, J., Zhang, G.Q.: Concept lattices, clustering, and visualization using LATEX (2004) (manuscript)
Snelting, G., Tip, F.: Understanding class hierarchies using concept analysis. ACM Transactions on Programming Languages and Systems, 540–582 (May 2000)
Stoica, E., Hearst, M.: Nearly-automated metadata hierarchy creation. In: The Companion Proceedings of HLT-NAACL 2004, Boston, pp. 117–120 (2004)
Tudhope, D., Cunliffe, D.: Semantically indexed hypermedia: linking information disciplines. ACM Comput. Surv. 31(4) (1999)
van Rijsbergen, C.: Information Retrieval. Butterworth-Heinemann, Newton (1979)
Wille, R.: Restructuring lattice theory: an approach based on hierarchies of concepts. In: Rival, I. (ed.) Ordered sets, pp. 445–470. Reidel, Dordrecht (1982)
Wolff, K.: A First Course in Formal Concept Analysis, WWW.fbmn.fh-darmstadt.de/home/wolff/Publiktionen (accessed May 25, 2005)
Yevtushenko, S.: ConExp, http://sourceforge.net/projects/conexp
Zhang, G.Q.: Chu spaces, formal concepts, and domains. Electronic Notes in Computer Science 83, 16 pages (2003)
Zhang, G.Q., Shen, G.: Approximable concepts, Chu spaces, and information systems. In: de Paiva, Pratt (Guest eds.) Special Issue on Chu Spaces and Applications, Theory and Applications of Categories (2005) (in press)
Zhang, G.Q., Staiger, J., Shen, G., Troy, A., Sun, J.: Web-menu design using formal concept analysis (Position Paper). In: Wolff, P., Delugach (eds.) Conceptual Structures at Work, pp. 141–145. Shaker Verlag, Aachen (2004)
Zhang, G.Q., Tian, Y.: ANOESys: An experimental system for automated content organization. In: The 13th International Conference on Conceptual Structures (ICCS 2005), Kassel, Germany, (2005) (in press)
Zhang, G.Q., Hesse, C., White, L., Buchner, M., Mehregany, M.: Roadmap for a departmental website. In: EQ (Educause Quarterly) (2005) (in press)
Zhang, G.Q., Wang, X.F., Shen, G., Sun, J.: User evaluation of menu-interface design (in preparation)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zhang, GQ., Shen, G., Tian, Y., Sun, J. (2006). Concept Analysis as a Formal Method for Menu Design. In: Gilroy, S.W., Harrison, M.D. (eds) Interactive Systems. Design, Specification, and Verification. DSV-IS 2005. Lecture Notes in Computer Science, vol 3941. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11752707_15
Download citation
DOI: https://doi.org/10.1007/11752707_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-34145-1
Online ISBN: 978-3-540-34146-8
eBook Packages: Computer ScienceComputer Science (R0)