Operations of formal contexts and concept lattices
Tong-Jun Li, Wei-Zhi Wu
Abstract
Tong-Jun Li, Wei-Zhi Wu
Abstract
In formal concept analysis, formal concepts are constructed based on formal contexts so that the knowledge hidden in formal contexts is formulated. In this paper, the notion of operation of formal contexts is proposed firstly, with which the knowledge coming from different formal contexts can be fused and computed. Further, with respect to (w.r.t.) product of two formal contexts and complement of a formal context, the computation of formal concept lattices is studied in detail. It is also emphasized that the computation of the formal concept lattices w.r.t. other operations of formal contexts can be changed into above calculation.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
In formal concept analysis, formal concepts are constructed based on formal contexts so that the knowledge hidden in formal contexts is formulated. In this paper, the notion of operation of formal contexts is proposed firstly, with which the knowledge coming from different formal contexts can be fused and computed. Further, with respect to (w.r.t.) product of two formal contexts and complement of a formal context, the computation of formal concept lattices is studied in detail. It is also emphasized that the computation of the formal concept lattices w.r.t. other operations of formal contexts can be changed into above calculation.
Key concepts: Formal concept analysis, Formal methods, Computer science, Formal system, Lattice Miner, Formal specification, Formal verification, Formal description