Concept Analysis as a Formal Method for Menu Design

  • Guo-Qiang Zhang
  • Gongqin Shen
  • Ye Tian
  • Jiayang Sun
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3941)


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.


Concept Analysis Concept Lattice Formal Context Formal Concept Analysis Menu Item 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Cole, R.J.: The Management and Visualization of Document Collections Using Formal Concept Analysis. Ph.D. Thesis, GriÆth University, Australia (2000)Google Scholar
  2. 2.
    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)Google Scholar
  3. 3.
    Cole, R., Eklund, P., Stumme, G.: Document retrieval for email search and discovery using formal concept analysis. Applied Artificial Intelligence 17, 257–280 (2003)CrossRefGoogle Scholar
  4. 4.
    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)Google Scholar
  5. 5.
    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)CrossRefGoogle Scholar
  6. 6.
    Ganter, B., Wille, R.: Formal Concept Analysis. Springer, Heidelberg (1999)zbMATHGoogle Scholar
  7. 7.
    Ganter, B.: Beitraäge zur Begri.sanalyse. Chapter Algorithmen zur Formalen Begri.sanalyse, BI-Wissenschaftsverlag (1987)Google Scholar
  8. 8.
    Ganter, B., Kuznetsov, S.O.: Stepwise construction of the Dedekind-MacNeille completion. In: Proc. 6th International Conference on Conceptual Structures, pp. 295–302 (1998)Google Scholar
  9. 9.
    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)Google Scholar
  10. 10.
    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)CrossRefGoogle Scholar
  11. 11.
    Ho, T.: An approach to concept formation based on formal concept analysis. IEICE Trans. Information and Systems E78-D(5), 553–559 (1995) Google Scholar
  12. 12.
    Ivory, M., Hearst, M.: Improving web site design. IEEE Internet Computing 6(2), 56–63 (2002)CrossRefGoogle Scholar
  13. 13.
    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)Google Scholar
  14. 14.
    Ivory, M., Hearst, M.: The state of the art in automated usability evaluation of user Interfaces. ACM Computing Surveys 33(4), 173–197 (2001)CrossRefGoogle Scholar
  15. 15.
    Joslyn, C., Oliverira, J., Scherrer, C.: Order theoretical knowledge discovery: a white paper. LANL Technical Report LAUR 04-5812 (2004)Google Scholar
  16. 16.
    Krötzsch, M., Hitzler, P., Zhang, G.Q.: A categorical view on algebraic lattices in formal concept analysis. Submitted to Theoretical Computer ScienceGoogle Scholar
  17. 17.
    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)Google Scholar
  18. 18.
    Lindig, C.: Fast concept analysis. In: Stumme, G. (ed.) Working with Conceptual Structures - Contributions to ICCS 2000, pp. 152–161. Shaker-Verlag, Aachen (2000)Google Scholar
  19. 19.
    Moody, J., White, D.: Structural cohesion and embeddedness: a hierarchical concept of social groups. American Sociological Review 68(1), 103–127 (2003)CrossRefGoogle Scholar
  20. 20.
    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)Google Scholar
  21. 21.
    Pollard, R.: A hypertext-based thesaurus as a subject browsing aid for bibliographic databases. Information Processing and Management, Vol 29(3), 345–357 (1993)CrossRefGoogle Scholar
  22. 22.
    Priss, U.: Formal concept analysis in information science. Annual Review of Information Science and Technology (ARIST) 40, 22 pagesGoogle Scholar
  23. 23.
    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)Google Scholar
  24. 24.
    Shen, G., Tian, Y., Sun, J., Zhang, G.Q.: Concept lattices, clustering, and visualization using LATEX (2004) (manuscript)Google Scholar
  25. 25.
    Snelting, G., Tip, F.: Understanding class hierarchies using concept analysis. ACM Transactions on Programming Languages and Systems, 540–582 (May 2000)Google Scholar
  26. 26.
    Stoica, E., Hearst, M.: Nearly-automated metadata hierarchy creation. In: The Companion Proceedings of HLT-NAACL 2004, Boston, pp. 117–120 (2004)Google Scholar
  27. 27.
    Tudhope, D., Cunliffe, D.: Semantically indexed hypermedia: linking information disciplines. ACM Comput. Surv. 31(4) (1999)Google Scholar
  28. 28.
    van Rijsbergen, C.: Information Retrieval. Butterworth-Heinemann, Newton (1979)Google Scholar
  29. 29.
    Wille, R.: Restructuring lattice theory: an approach based on hierarchies of concepts. In: Rival, I. (ed.) Ordered sets, pp. 445–470. Reidel, Dordrecht (1982)Google Scholar
  30. 30.
    Wolff, K.: A First Course in Formal Concept Analysis, (accessed May 25, 2005)
  31. 31.
    Yevtushenko, S.: ConExp,
  32. 32.
    Zhang, G.Q.: Chu spaces, formal concepts, and domains. Electronic Notes in Computer Science 83, 16 pages (2003)Google Scholar
  33. 33.
    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)Google Scholar
  34. 34.
    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)Google Scholar
  35. 35.
    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)Google Scholar
  36. 36.
    Zhang, G.Q., Hesse, C., White, L., Buchner, M., Mehregany, M.: Roadmap for a departmental website. In: EQ (Educause Quarterly) (2005) (in press)Google Scholar
  37. 37.
    Zhang, G.Q., Wang, X.F., Shen, G., Sun, J.: User evaluation of menu-interface design (in preparation)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Guo-Qiang Zhang
    • 1
  • Gongqin Shen
    • 1
  • Ye Tian
    • 1
  • Jiayang Sun
    • 2
  1. 1.Department of Electrical Engineering and Computer Science 
  2. 2.Department of StatisticsCase Western Reserve UniversityClevelandUSA

Personalised recommendations