Abstract
Formal Concept Analysis (FCA) transforms a context bigraph, having vertices of type object and attribute, into a lattice digraph, whose vertices and arcs represent formal concepts and their covering relation. The computational complexity of most FCA algorithms is a polynomial function of the numbers of vertices in both the context bigraph and lattice digraph. While the latter quantity is fixed, the former can be decreased by context standardisation, a process which we show is facilitated by the efficient partition refinement algorithm of Spinrad.
The Carve algorithm recursively partitions the context bigraph and corresponding lattice digraph by removing universal objects and attributes and their orphans and partitioning the resultant sub-context into its connected components. The associated software prototype uses the resultant tree structure to support coordinated browsing of both. This paper describes an additional, coordinated representation of the context bigraph which makes explicit in its bi-adjacency matrix the pattern of nested sub-contexts discovered by the Carve algorithm. We show that permuting this matrix into doubly-lexical order with the aid of Spinrad’s algorithm groups together into nested rectangles the bigraph edges belonging to these sub-contexts, and facilitates the two key processing steps of the Carve algorithm.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
The truth of a sentence containing terms in square brackets is unchanged by substituting these terms for those which precede them.
References
Berry, A., Bordat, J.P., Sigayret, A.: A local approach to concept generation. Ann. Math. Artif. Intell. (2007). https://doi.org/10.1007/s10472-007-9063-4
Berry, A., Gutierrez, A., Huchard, M., Napoli, A., Sigayret, A.: Hermes: a simple and efficient algorithm for building the AOC-poset of a binary relation. Ann. Math. Artif. Intell. (2014). https://doi.org/10.1007/s10472-014-9418-6
Berry, A., Sigayret, A.: Dismantlable lattices in the mirror. In: Cellier, P., Distel, F., Ganter, B. (eds.) ICFCA 2013. LNCS (LNAI), vol. 7880, pp. 44–59. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-38317-5_3
Brucker, F., Préa, P.: Totally balanced formal context representation. In: Baixeries, J., Sacarea, C., Ojeda-Aciego, M. (eds.) ICFCA 2015. LNCS (LNAI), vol. 9113, pp. 169–182. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-19545-2_11
Ganter, B.: Two basic algorithms in concept analysis. In: ICFCA 2010, pp. 312–340 (2010). https://doi.org/10.1007/978-3-030-21462-3
Ganter, B., Wille, R.: Formal Concept Analysis. Springer, Heidelberg (1999). https://doi.org/10.1007/978-3-642-59830-2
Pattison, T., Weber, D., Ceglar, A.: Enhancing layout and interaction in formal concept analysis. In: IEEE Pacific Visualization Symposium, pp. 248–252. IEEE (2014). https://doi.org/10.1109/PacificVis.2014.21
Pattison, T.: Interactive visualisation of formal concept lattices. In: Burton, J., Stapleton, G., Klein, K. (eds.) Joint Proceedings of 4th International Workshop Euler Diagrams and 1st International Workshop Graph Visualization in Practice, vol. 1244, pp. 78–89. CEUR-WS.org (2014)
Pattison, T., Ceglar, A., Weber, D.: Efficient formal concept analysis through recursive context partitioning. In: Ignatov, D.I., Nourine, L. (eds.) Proceedings of 2018 International Conference CLA, Olomouc, Czech Republic, vol. 2123, pp. 219–230. CEUR-WS.org (2018)
Spinrad, J.P.: Doubly lexical ordering of dense 0–1 matrices. Inf. Process. Lett. 45(5), 229–235 (1993). https://doi.org/10.1016/0020-0190(93)90209-R
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 Commonwealth of Australia
About this paper
Cite this paper
Pattison, T., Nataraja, A. (2023). Doubly-Lexical Order Supports Standardisation and Recursive Partitioning of Formal Context. In: Dürrschnabel, D., López Rodríguez, D. (eds) Formal Concept Analysis. ICFCA 2023. Lecture Notes in Computer Science(), vol 13934. Springer, Cham. https://doi.org/10.1007/978-3-031-35949-1_2
Download citation
DOI: https://doi.org/10.1007/978-3-031-35949-1_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-35948-4
Online ISBN: 978-3-031-35949-1
eBook Packages: Computer ScienceComputer Science (R0)