The restricted concept lattice and its formation

With the sharp increasing of the data to deal with, the amount of concept lattice node constructed from original formal context is enormous, accordingly, requiring the larger storage space and time. At the same time, users are not interested in all the intensions composed of all the attribute sets. Furthermore, it takes more time to extract useful knowledge from them. In order to deal with the constrained problems, the paper uses predicate logic to describe the user's interesting background knowledge, and introduces one new concept lattice structure: restricted concept lattice (RCL). Then one RCL algorithm and relative analysis are offered. Finally, the experiment proves its efficiency and feasibility by taking the celestial bodies spectrum data as the formal context.