You are presented with multiple paper abstracts, alongside the associated literature review and chapter titles. Given the provided information, you are going to do a literature review. Please generate a coherent literature review that synthesizes the content, draws connections between different works, highlights major findings, and identifies any gaps in the existing research.

Literature Review Title: Survey on Social Community Detection 
Chapter Title:  Galois lattice 
1. Abstract of Cited Paper (BIB001):  Foundations.- Formal Concept Analysis as Mathematical Theory of Concepts and Concept Hierarchies.- Semiconcept and Protoconcept Algebras: The Basic Theorems.- Features of Interaction Between Formal Concept Analysis and Algebraic Geometry.- From Formal Concept Analysis to Contextual Logic.- Contextual Attribute Logic of Many-Valued Attributes.- Treating Incomplete Knowledge in Formal Concept Analysis.- States, Transitions, and Life Tracks in Temporal Concept Analysis.- Applications.- Linguistic Applications of Formal Concept Analysis.- Using Concept Lattices for Text Retrieval and Mining.- Efficient Mining of Association Rules Based on Formal Concept Analysis.- Galois Connections in Data Analysis: Contributions from the Soviet Era and Modern Russian Research.- Conceptual Knowledge Processing in the Field of Economics.- Software Engineering.- A Survey of Formal Concept Analysis Support for Software Engineering Activities.- Concept Lattices in Software Analysis.- Formal Concept Analysis Used for Software Analysis and Modelling.- Formal Concept Analysis-Based Class Hierarchy Design in Object-Oriented Software Development.- The ToscanaJ Suite for Implementing Conceptual Information Systems.

Literature Review:
Freeman BIB001 was the first to use Galois lattices in order to represent network data. The underlying assumption is that individuals sharing the same subset of properties define a community. The approach adopted consists of the following: objects, attributes and the set of relations between objects and attributes form a "context", in accordance with Formal Concept Analysis BIB002 . This set of relations can then be represented by a binary bi-adjacency matrix, whereby objects o are the columns, attributes a are the rows and a "1" is placed at the cell corresponding to a pair (o i , a j ) if o i possesses a j . A maximum subset of objects that contain a subset of attributes is defined as a "concept", i.e. a group of objects for which the addition or removal of an attribute changes its constitution. All objects of a concept then form the "extent" and all attributes of a concept give rise to the "intent". A partial order is applied to concepts and serves to establish a hierarchy. According to the definition of Galois hierarchies, an object can appear in all the concepts where it can share the same set of attributes with other objects belonging to other concepts. Figure 3 illustrates a simple example of a Galois lattice in which several individuals are sharing several photos.