Advertisement

Concept Lattice Orbifolds – First Steps

  • Daniel Borchmann
  • Bernhard Ganter
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5548)

Abstract

Concept lattices with symmetries may be simplified by “folding” them along the orbits of their automorphism group. The resulting diagram is often more intuitive than the full lattice diagram, but well defined annotations are required to make the folded diagram as informative as the original one. The folding procedure can be extended to formal contexts.

A typical situation where such lattice foldings are useful is when hierarchies of structures are considered “up to isomorphisms”.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Behrisch, M.: Personal communication (2006)Google Scholar
  2. 2.
    Caspard, N., Monjardet, B.: The lattices of closure systems, closure operators, and implicational systems on a finite set: a survey. Discrete Applied Mathematics 127(2), 241–269 (2003)MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    Habib, M., Nourine, L.: The number of Moore families on n = 6. Discrete Mathematics 294, 291–296 (2005)MathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    The GAP Group, GAP – Groups, Algorithms, and Programming, Version 4.4.12 (2008), http://www.gap-system.org
  5. 5.
    Ganter, B., Reuter, K.: Finding closed sets: a general approach. Order 8, 283–290 (1991)MathSciNetCrossRefzbMATHGoogle Scholar
  6. 6.
    Ganter, B., Wille, R.: Formal Concept Analysis – Mathematical Foundations. Springer, Heidelberg (1999)CrossRefzbMATHGoogle Scholar
  7. 7.
    Sloane, N.J.A.: The On-Line Encyclopedia of Integer Sequences. Sequences A102896 and A108799, http://www.research.att.com/~njas/sequences/A108799
  8. 8.
    Zickwolff, M.: Rule Exploration: First Order Logic in Formal Concept Analysis. Dissertation, Darmstadt (1991)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Daniel Borchmann
    • 1
  • Bernhard Ganter
    • 1
  1. 1.Institut für AlgebraTechnische Universität DresdenGermany

Personalised recommendations