The Feature Description of Formal Context Based on the Relationships among Concept Lattices

Three-way concept analysis (3WCA) is extended research of formal concept analysis (FCA) by combining three-way decision. The three-way object oriented concept lattice (OEOL) is one of the important data structures which integrates rough set, concept lattice and three-way decision in 3WCA. In the paper, we investigate the characteristics of formal context based on the isomorphic relationship among the kinds of concept lattices with OEOL. Firstly, II-dual intersectable attributes and II-dual intersectable context are proposed and the relationship between the type I-dual intersectable context(dual intersectable context) and the type II-dual intersectable context are studied. In addition, the relationship among the kinds of concept lattices with OEOL are studied when the formal context is both I-dual intersectable context and II-dual intersectable context. Finally, the inverse problems of the above conclusions are discussed and the following two conclusions are obtained: (1) the formal context is the type II-dual intersectable context, when the object oriented concept lattice and OEOL are isomorphic. (2) In addition, the formal context is the type I-dual intersectable context, when the concept lattice and OEOL are anti-isomorphic.


Introduction
In order to find an application carrier for lattice, FCA was proposed by Wille in 1982 [1,2]. It studies the hierarchical structures (that is, concept lattice) which is induced by a binary relation of objects and attributes. In recent years, FCA becomes an helpfull tool for data processing and knowledge discovery [3][4][5][6][7][8][9][10]. For adapting to different data analysis, Wang et al. studied the AFS concept lattice [11]. Ma et al. proposed the variable threshold concept lattice [12]. Guo et al. provided the power concept lattice [13]. Li et al. gave the approximate concept lattice [14] based on incomplete data. Düntsch and Gediga [15] and Yao [16] proposed the property oriented concept the lattice and object oriented concept lattice, respectively, and so on.
Recently, an outline of three-way decision was proposed [17]. Conflict analysis and FCA has been widely developed based on three-way decision. Three-way conflict analysis was proposed and studied [18][19][20]. In addition, 3WCA was firstly introduced by Qi, Wei and Yao in 2014 [21]. Then, 3WCA has become one of the helpful research problems. Firstly, Qi et al. gave the connections between the three-way concept lattice and classical concept lattice [22]. In terms of lattice building, Qian et al. proposed the method based formal context from the perspective of context [23]. Later, Yang et al. in 2020 proposed the method based on the composite of classical lattices from the perspective of lattice [24]. In terms of attribute reduction, Ren et al studies the reduction theory of three-way concept lattices from the perspectives of preserving intersection (Union) irreducible elements, preserving granular and preserving lattice structure, respectively [25].
In addition, inspired by 3WCA, some new three-way concept lattice models are proposed. Firstly, OEOL was proposed by Wei and Qian based on the ideal of locally completely (no-) possessing [26]. Later, Qian et al. discussed them more comprehensively and detailedly in [27]. Li et al. put forward three-way cognitive concepts based on cognitive theory and studied them through multi granularity method [28]. Conflict analysis model was proposed based on 3WCA by Zhi et al. [29]. Mao and Cheng proposed the three-way rough semiconcept in 2021 [30]. Meanwhile, intuitionistic fuzzy three-way formal concept analysis were studied by using attribute correlation degree in 2021 [31].
However, 3WCA are much more complex than FCA because of the large amount of information the three-way concept lattices carried. So, this brings us a lot of trouble in dealing with them. In addition, FCA has improved maturely. Therefore, it is a good idea to deal with the problems of 3WCA by using the related methods of FCA. Along the above research ideas, Yang et al. used the composite of classical lattices to construct the three-way concept lattices [24]. Long et al. studied attribute-induced three-way concept lattice in incomplete fuzzy formal context by double threshold construction method [32]. Chen et al. used unlabelled text mining methods to study object-induced three-way concept lattice [33]. From the perspective of formal context characteristics, Qian et al. gave a kind of attribute characteristics, that is G \ a * = ∩(a * j ), which is called the dual intersectable attribute (later, we call it the type I-dual intersectable attribute. The corresponding formal context is called type I-dual intersectable formal context). Furthermore, they studied the isomorphic relation between concept lattice and three-way concept lattices based on the dual intersectable formal context [34].
The literature [34] tells us that G \ a * = ∩(a * j ) means original information describes supplementary information. Inspired by it, we consider another attribute feature by using supplementary information to describe original information and then we investigate the isomorphism among concept lattices, especially the relationship between concept lattice and OEOL in this paper.
The rest of the paper is organized as follows. Section 2 reviewes some notions briefly. In Section 3, we propose the type II-dual intersectable formal context and investigate the relations among some concept lattices including concept lattice, the object oriented concept lattice and OEOL when the formal context is the type II-dual intersectable context. In Section 4, the inverse proposition of related conclusions in Section 3 are given. In addition, several theorems and examples are given. Finally, the summary is given by using a diagram in Section 5.

Concept Lattice
Firstly, some basic definitions are given. Definition 1. [2] Let G and M be two finite sets and I be a binary relation between G and M, we call (G, M, I) a formal context. In addition, g ∈ G and m ∈ M are called the object and the attribute, respectively. (g, m) ∈ I means that the object g has the attribute m.
A pair of dual operators * for any X ⊆ G and A ⊆ M and the definitions of formal concept and concept lattice are given as follows.
(X, A), X and A are, respectively, called a formal concept, an extent and an intent when X * = A and A * = X. If X = {m} and A = {g}, then {m} * and {g} * are abbreviated to m * and g * , respctively.
If ∀g, h ∈ G, g * = h * , and ∀m, n ∈ M, m * = n * , we call (G, M, I) the clarified context. The set of all formal concepts is called the concept lattice denoted by L(G, M, I). For any (X, A), (Y, B) ∈ L(G, M, I), the partial order is defined by: And it is easy to prove it is a complete lattice with the above partial order.

Remark 1.
(1) Extent (intent) is still extent (intent) after the intersection of sets. And the properties of operators are shown in the literature [2]; (2) Every set in a lattice except G, M and ∅ is also expressed directly by listing its elements.  Table 1. We get a formal context. According to Definition 1, The concepts are calculated easily, and then the correspoding concept lattice is represented by Figure 1.

The Object Oriented Concept Lattice
The object oriented concept lattice was proposed by Yao in [16]. In addition, it is recalled as follows.

Definition 2.
[16] Let a formal context be (G, M, I). For any X ⊆ G and A ⊆ M, a pair of operators : P (G) → P (M) and ♦ : P (M) → P (G) as follows.
(X, A) is called an object oriented concept. X and A are, respectively, called the extent and the intent of (X, A) when X = A and A ♦ = X. The set of all object oriented concepts form a complete lattice which is called the object oriented concept lattice and is denoted by L o (G, M, I). The partial order on it is defined as follows:

Remark 2.
Extent is still extent after the union of sets. And the properties of operators are shown in the literature [16]. Table 1 is shown in Figure 2 according to Definition 2. Table 1.

The Three-Way Object Oriented Concept Lattice
Inspired by 3WCA, Wei and Qian [26,27] proposed OEPL and OEOL. The relevant definitions are as follows. Firstly, the negative operators of * are recalled.
Based on * , the following pair of new negative operators of and ♦ are given by using the semantics of locally completely (no-) possessing.
Wei and Qian gave OEO-operators, OEO-concept and OEOL by combing the operators , ♦, and ♦ together.   Table 1 is shown in Figure 3 according to Definition 5.  Table 1.

The Relations between Kinds of Concept Lattices and OEOL
In this section, the relations between kinds of concept lattice and OEOL based on some context are explored firstly.
For the convenience of description, we give the following symbols: The set consisting of all extents of the formal concepts, the set of all extents of the object oriented concepts and the family of all extents of the three-way object oriented conceptsis are, respectively, denoted by L E (G, M, I), L oE (G, M, I) and OEOL E (G, M, I).

The Type II-Dual Intersection Formal Context
In fact, Qian et al. studied the isomorphic relation between concept lattice and threeway concept lattices. In addition, then they proposed the dual intersectable context [34]. Similarly, we propose another form of dual feature of attributes in this subsection. In order to distinguish, we call the original dual feature of attributes as type I. Definition 6. Let a formal context be (G, M, I), a ∈ M. If there are some a j ∈ M which satisfies a * = ∩(G \ a * j ), then a is called a type II-dual intersection attribute.
The attribute features described in Definition 6 means that original information are described supplementary information. Let's explain it with the following example. Table 2. By definition of * , we can compute that

Example 4. A formal context is represented in
It's easy for us to verify that a is a type II-dual intersection attribute by Definition 6.  (G, M, I).
Next, we describe the features of formal context based on the above attribute features. In addition, we explain it by examples.

Definition 7.
Let a formal context be (G, M, I). If a is type II-dual intersection attribute for any a ∈ M, then (G, M, I) is called a attribute-induced type II-dual intersection formal context.

Example 5.
We can calculate the following results in turn from Table 2.
It's easy for us to verify (G, M, I) is a attribute-induced type II-dual intersection formal context by Definition 7.
Let's use a theorem to illustrate the relationship between type I-dual intersection formal context and type II-dual intersection formal context.
In the same way, a * = G \ a * . Therefore, when (G, M, I) is a type II-dual intersection formal context, we obtain a * = ∩(G \ a * j ) for any a by Definition 7. And then a * = ∩(G \ a * j ) is equivalent to G \ a * = ∩(a * j ). So we get (G, M, I c ) is a type I-dual intersection formal context. vice versa.
By the proof of Theorem 1, we can easily draw the relationship between type I and type II: (1) a is a type II-dual intersection attribute of (G, M, I) if and only if a is a type I-dual intersection attribute of (G, M, I c ); (2) (G, M, I) is a type II-dual intersection formal context if and only if (G, M, I c ) is a type I-dual intersection formal context.

The Relationship between Kinds of Concept Lattices and OEOL Based on the Type II-Dual Intersection Context
In the subsection, we will study the relationship among kinds of concept lattices based on the type II-dual intersection context. Firstly, the conclusions about the object oriented concept lattices based on the type II-dual intersection context are discussed. Proof. For any a ∈ M, we get a ♦ ∈ L oE (G, M, I c ) by the property of operators ♦. And a ♦ = {g ∈ G|g * ∩ {a} = ∅} = {g ∈ G|a ∈ g * } = {g ∈ G|gIa} = a * = G \ a * . Similarly, we can get a ♦ = a * . Since (G, M, I) is a type II-dual intersection formal context, we can get a * = ∩(G \ a * j ). Thus, we can get G \ a * = ∪(a * j ) by De Morgan's law. That is, a ♦ = ∪(a ♦ j ). In addition, we know a ♦ j ∈ L oE (G, M, I). So, we know a ♦ ∈ L oE (G, M, I) by the property of operators ♦. For any (X, A) ∈ L o (G, M, I c ), we can get X = a j ∈A a ♦ j . Thus, X ∈ L oE (G, M, I) by the property of operators ♦. Therefore, L oE (G, M, I c ) ⊆ L oE (G, M, I).
Combing Theorem 1 and Theorem 2, we can easily obtain the following conclusion.  Through Theorem 5, we can easily establish the following conclusion by constructing isomorphic mapping.  Table 3. In addition, it's easy for us to verify d is not a type type I-dual intersection attribute , Thus, the formal context of Table 3 is not a type I-dual intersection formal context. But we can get L(G, M, I) and L(G, M, I c ) are isomorphic from Figures 4 and 5. In fact, we can summarily compute G \ a * = {1}, Table 3. And it's easy for us to verify a is not a type II-dual intersection attribute by Definition 6. Thus, the formal context of Table 3 is not a type II-dual intersection formal context by Definition 7.  (G, M, I).  Table 3.

The Characteristics of Formal Context Based on the Relationship among Kinds of Concept Lattices
Next, we mainly discuss the inverse proposition of the theorems in Section 3. Proof. For any a ∈ M, we get a * ∈ L E (G, M, I) by the property of operators * . In addition, since L E (G, M, I) ⊆ L E (G, M, I c ), we can obtain a * ∈ L E (G, M, I c ). So we can have (a * , a * * ) ∈ L(G, M, I c ). In addition, then we get a * = a j ∈a * * a * j = a j ∈a * * G \ a * j by Definition 1. Thus, we can get a is a type II-dual intersection attribute by Definition 6. By the arbitrariness of a, we get (G, M, I) is a type II-dual intersection formal context by Definition 7. Proof. For any a ∈ M, we get a ♦ ∈ L oE (G, M, I) by the property of operators ♦. In addition, since L oE (G, M, I) ⊆ L oE (G, M, I c ), we can obtain a ♦ ∈ L oE (G, M, I c ). So we can get (a ♦ , a ♦ ) ∈ L o (G, M, I c ). In addition, a ♦ = {g ∈ G|g * ∩ {a} = ∅} = {g ∈ G|a ∈ g * } = {g ∈ G|gIa} = a * . Similarly, we can get a ♦ = a * . a * = a ♦ = a j ∈a ♦ a ♦ j = a j ∈a ♦ a * j = a j ∈a ♦ G \ a * j by Definition 1. So we get G \ a * = a j ∈a ♦ a * j by De Morgan's law. And then we get (G, M, I) is a type I-dual intersection formal by the arbitrariness of a mboxcontext. Similarly to Theorem 10, we have the following conclusion which is obviously true by combining with Theorem 9.  Table 3. Its the object oriented concept lattice is shown by Figure 6. We can easily obtain L(G, M, I) and L o (G, M, I) are anti-isomorphic. But according to Example 6, we know (G, M, I) is not a type I-dual intersection context and is not also a type II-dual intersection context.  Table 3.
Next, let's study the characteristics of formal context when two-way lattices and three-way lattice are isomorphic. Therefore, (G, M, I c ) is a type II-dual intersection formal context by Theorem 8. In addition, when (G, M, I c ) is a type II-dual intersection formal context, we can get (G, M, I) is a type I-dual intersection formal context by Theorem 1.

Conclusions
In the paper, we firstly gave a new attribute characteristic which is called type II-dual intersection attribute, and then we described the formal context and proposed the type II-dual intersection formal context. Secondly, we give the relation among some concept lattices based on the type II-dual intersection formal context and we proved some related theorems. Thirdly, the inverse proposition of related conclusions in Section 3 are studies. Some related theorems and counterexamples are give. The detailed conclusions are shown in Figure 7. However, there is a problem here that has not been solved. That is, what is the formal context like when it is both the type I-dual intersection formal context and the type II-dual intersection formal context. We conjecture that it is dual formal context whose every attribute has dual attribute. In the future, we will explore this issue.

Conflicts of Interest:
The authors declare no conflict of interest.

Abbreviations
The following abbreviations are used in this manuscript:

3WCA
Three-way concept analysis