Research Article | Open Access
Attribute Reduction Based on Property Pictorial Diagram
This paper mainly studies attribute reduction which keeps the lattice structure in formal contexts based on the property pictorial diagram. Firstly, the property pictorial diagram of a formal context is defined. Based on such diagram, an attribute reduction approach of concept lattice is achieved. Then, through the relation between an original formal context and its complementary context, an attribute reduct of complementary context concept lattice is obtained, which is also based on the property pictorial diagram of the original formal context. Finally, attribute reducts in property oriented concept lattice and object oriented concept lattice can be acquired by the relations of attribute reduction between these two lattices and concept lattice of complementary context. In addition, a detailed illustrative example is presented.
Formal concept analysis (FCA) [1, 2], introduced by German mathematician Wille in 1982, has become one of the important tools for knowledge discovery and data analysis. The basic notions of FCA are formal context, formal concept, and the corresponding concept lattice. Another useful tool for knowledge discovery and data analysis is rough set theory (RST), originally proposed by Pawlak in 1982 [3, 4], in which the lower and upper approximations of an arbitrary subset of universe are the basics. At present, FCA and RST have many important applications in various fields, respectively, and many efforts have been made to compare and combine them. For example, Düntsch and Gediga  introduced the notions of rough set theory into formal concept analysis and proposed property oriented concept lattice. Based on such idea, Yao  proposed object oriented concept lattice. Shi et al.  and Wang and Zhang  studied the relation between RST and FCA. Then, Wei and Qi  discussed the relation between concept lattice reduction and rough set reduction. Liu et al.  studied the reduction of the concept lattices based on rough set theory. Wang  defined “the notions of attribute reduction in concept lattices in a similar way with that in rough set theory.” Poelmans et al.  gave “a systematic overview of the more than 120 papers published between 2003 and 2011 on FCA with fuzzy attributes and rough FCA.” Their research enriched the FCA and RST.
Attribute reduction is one of the key issues of RST and FCA. In the case of RST, attribute reduction in information systems is based on equivalence relation. A reduct is a minimum subset of attributes that provides the same classification ability as the entire set of attributes . Skowron and Rauszer  proposed a reduct construction method based on the discernibility matrix, and many researchers improved this method [14–16].
While, there are some differences between the reduction in FCA and in RST. In the case of FCA, Ganter and Wille  proposed the term of reduction from the viewpoint of deleting rows or columns. In , Zhang et al. presented attribute reduction approaches to finding minimal attribute sets which can determine all extents and their original hierarchy in a formal context. That is to say, the reduction theory can keep the lattice structure of a formal context. Based on such reduction, the authors also studied the reduction theory of formal decision contexts . This approach to attribute reduction is based on the discernibility matrix in FCA. For object oriented concept lattice and property oriented concept lattice, the reduction of keeping their lattice structure was studied by Liu and Wei .
Besides this kind of reduction that keeps the lattice structure, there are other reduction theories about formal contexts. For example, Wang and Ma  proposed another approach to attribute reduction that can only preserve the extents of meet-irreducible elements in the original concept lattice and described attribute characteristics using meet-irreducible elements. For the object oriented concept lattice and property oriented concept lattice, Wang and Zhang  further studied such reduction and described attribute characteristics using meet- (join-) irreducible elements. Medina  obtained the relation of attribute reduction among complementary context concept lattice, object oriented concept lattice, and property oriented concept lattice. Wu et al.  proposed the granular reduction from the viewpoint of keeping object concepts and discussed information granules and their properties in a formal context. Li et al.  constructed “a new framework of knowledge reduction in which the capacity of one concept lattice implying another is defined to measure the significance of the attributes in a consistent decision formal context.” Shao et al.  formulated “an approach to attribute reduction in formal decision contexts such that rules extracted from the reduced formal decision contexts are identical to that extracted from the initial formal decision contexts.” Aswani Kumar and Srinivas  proposed “a new method based on fuzzy K-means clustering for reducing the size of the concept lattices.”
In this paper, based on [20, 22], we discuss the reduction of a formal context which can keep the lattice structure using arrow relation defined by Ganter and Wille . First of all, we obtain the new approach to acquiring the arrow relation on the basis of a property pictorial diagram defined by us. Then, combining the relations between arrow relation , meet-irreducible elements, and attribute characteristics, we present an approach to construct attribute reducts of concept lattice, complementary context concept lattice, object oriented concept lattice, and property oriented concept lattice.
The rest of the paper is organized as follows. Section 2 reviews the basic notions of FCA. Section 3 constructs attribute reducts based on property pictorial diagram of a formal context. Section 4 uses an UCI database to explain our approach in more detail. Section 5 concludes the paper.
Definition 1 (see ). A formal context consists of two sets and and a relation between and . The elements of are called the objects and the elements of are called the attributes of the context. In order to express that an object is in a relation with an attribute , we write or and read it as “the object has the attribute .”
Let be a formal context. For , , two operators are defined as follows: is called a formal concept, for short a concept, if and only if , , where is called the extent of the formal concept and is called its intent. Particularly, is a formal concept and is called an attribute concept, and is called attribute extent . The set of all concepts of is denoted by . For any , , we have . And the infimum and supremum are given by
Thus, is a complete lattice and is called the concept lattice.
To simplify, for all , for all , and are replaced by and , respectively. If, for all , , , and, for all , , , then the formal context is called canonical. That is to say, there is neither full row/column nor empty row/column in a formal context. Noting this, an irregular formal context can be regularized by removing the full row/column and empty row/column. Such way of regularization causes no effect on the analysis results of the formal context. Thus, without loss of generality, we suppose that all formal contexts are finite and canonical in this paper.
All concepts of are denoted by , which is also a complete lattice.
Let be a formal context. For any , , Düntsch and Gediga defined a pair of approximate operators , as follows :
A pair , , , is called a property oriented concept if and . All property oriented concepts of are denoted by . For any , . And the infimum and supremum are given by
Thus, is a complete lattice and is called the property oriented concept lattice.
Based on the work of Düntsch and Gediga, Yao proposed the object oriented concept lattice .
A pair , , , is called an object oriented concept if and . All object oriented concepts of are denoted by . For any , , . And the infimum and supremum are given by
Thus, for one formal context , we have four different lattices, concept lattice , complementary context concept lattice , property oriented concept lattice , and object oriented concept lattice , respectively. In , Yao studied the relations among , , and and proved these three different lattices are isomorphic. Namely, .
Zhang et al.  have ever given detailed approach to find the reduction of a formal context which can keep the structure of . That is, if there exists an attribute subset such that , then is called a consistent set of . And, further, if, for all , , then is called a reduct of , where . According to this idea, the attributes are classified into three types: core attribute, relatively necessary attribute, and absolutely unnecessary attribute.
In this paper, for these four different lattices, we still study attribute reduction based on keeping structures of the lattices. Analogously, the attributes are classified into core attribute, relative necessary attribute, and absolutely unnecessary attribute. To simplify, their attribute reducts are denote by . The set of core attributes is ; that is, ; the set of relatively necessary attributes is ; that is, ; and the set of absolutely unnecessary attributes is ; that is, , where is an index set, , which represents , , , and , respectively.
An example is given in the following to show the above definitions.
According to the definitions of formal concept, property oriented concept, and object oriented concept, we can obtain the corresponding concept lattices. The concept lattice and complementary context concept lattice are shown in Figures 1 and 2. The property oriented concept lattice and the object oriented concept lattice are shown in Figures 3 and 4, respectively, in which every set is denoted directly by listing its elements except , , and .
For , , , , , and .
For , , , , and .
For , , , , and .
For , , , , and .
In Example 2, we noticed that if we remove or from , the structures of four different lattices of the formal context will not be changed. That is, if for any , , then and or .
In order to clarify the situation, we presuppose that the formal context we study in this paper does not have the same column. Here, we delete attribute from Tables 1 and 2. For convenience, we still use as attribute set. But .
3. Attribute Reduction Based on Property Pictorial Diagram
In this section, we mainly propose a method to find attribute reducts of four different lattices based on the property pictorial diagram of a formal context.
3.1. Attribute Reduction of
In the following, we first give the definition of property pictorial diagram.
Definition 3. Let be a formal context, . For any , if , then one denotes . And is called the property pictorial diagram of .
In fact, the Hasse diagram gives another expression of . The diagrammatic approach to formal context obtains the relations among attribute extents easily.
Definition 4 (see ). is called a lower neighbor of , if and there is no element of fulfilling . In this case, is an upper neighbor of , and one writes .
Based on this definition, we can easily obtain upper neighbors and lower neighbors of each element in . For any , denote and , where , ( and are index sets).
Example 5 (continue with Example 2). Consider the formal context in Table 1; we have , , , , and . According to Definition 3, we have , and the property pictorial diagram is shown in Figure 5. Thus, we have, , , , , , , , , .
It is easy to see that the maximal elements of have no upper neighbor and the minimal elements of have no lower neighbor. We denote the set of maximal and minimal elements of by and , respectively.
In , the arrow relation on the was defined as follows: and if and , then , where , . In the following, we will give a new method to obtain the arrow relation based on property pictorial diagram .
Theorem 6. Let be a formal context and let be its property pictorial diagram. The following statements hold.(1)If , then .(2)If , then , where ().
Proof. (1) Suppose . Thus, there does not exist such that . And, by , we have . So, from the definition of , we have . Hence, for any , .
Conversely, because the formal context is canonical, . And since and , we have from the definition of . Thus, for any , .
(2) Suppose . According to the definition of maximal elements, there exists such that . And, by , we have and ; that is , . So we have from the definition of .
Since , there exist some such that . And by , we have and ; that is, , . So .
Here, we recall an important definition as follows.
Definition 8 (see ). Let be a lattice. An element is meet-irreducible if(1) (in case has a unit),(2) implies or for all .
We denote the set of meet-irreducible elements of by .
Based on the arrow relations , Ganter and Wille gave the method to judge whether an attribute concept is a meet-irreducible element of .
Lemma 9 (see ). The following statements hold for every context: there is a with .
According to the properties of meet-irreducible elements of concept lattices, Wang and Ma  gave the judgement method of absolutely unnecessary attributes.
Lemma 10 (see ). If is a context, for any , one has
Combining these two lemmas, we have the following result.
Theorem 11. Let be a formal context and let be its property pictorial diagram. For any , one has and , where ().
Theorem 11 shows that if for , then .
Because the formal contexts we study do not have the same column, that is, there is no relatively necessary attribute, we can get the following statement.
Theorem 12. Let be a formal context. One has .
By this theorem, we can obtain an attribute reduct of . The steps are as follows.(1)Compute for all .(2)Draw the property pictorial diagram .(3)Find . If and , then .(4)Obtain an attribute reduct .
3.2. Attribute Reduction of , , and
For a formal context, its complementary context is unique and . Therefore, we will discuss the attribute reduction of these three different lattices based on the property pictorial diagram of original formal context.
For the complementary context of , we denote its property pictorial diagram by .
Theorem 14. Let be a formal context and let be its property pictorial diagram. For any , one has(1),(2) (),(3),(4).
Proof. (1)From the definition of complementary context, we know that . Thus . Hence, we have by Definition 4.(2)Consider .(3)It is easy to be obtained from (2).(4)It can be proved by (1) and (2).
Theorem 15. Let be a formal context and let be its property pictorial diagram. The following statements hold.(1)If , then in .(2)If , then in , where ().
Theorem 17. Let be a formal context and let be its property pictorial diagram. For any , one has and , where ().
This theorem implies that if for , then .
Similar to Theorem 12, we have the following result.
Theorem 18. Let be a formal context. One has .
By Theorem 18, we can obtain an attribute reduct of .
In , Medina studied attribute reduction of object oriented concept lattice and property oriented concept lattice using the relations between these two lattices and complementary context concept lattice in a formal context. The main conclusions are as follows.
Theorem 19 (see ). Let be a formal context. For all , one has the following:(1),(2),(3),(4).
Example 20 (continue with Example 5). According to Example 5, we obtain , , , , and . We only need to check attribute . Because and , we have by Theorem 17. Thereby, . These results are consistent with Example 2.
4. An Illustrated Example
Example 1. To illustrate the application of the method proposed by this paper we use the data set of bacterial taxonomy from UCI. The data set contains six species and 16 phenotypic characters. Table 5 shows the formal context of the bacterial data set. We denote and . The species are Escherichia coli (1–3), Salmonella typhi (4–6), Klebsiella pneumoniae (7–11), Proteus vulgaris (12–14), Proteus morganii (15, 16), and Serratia marcesens (17), respectively.
First, compute attribute extents for all as follows: , , , , , , , , , , , , , , , .
Second, draw the property pictorial diagram. Here, for clarification, every element of property pictorial diagram is denoted directly by the corresponding attribute label, which is shown in Figure 7.
Third, for any , compute and (Table 6).
According to Theorem 11, we only need to examine attributes , , , and . We have the following: and , , and , , and , , and , .
According to Theorem 17, we only need to examine attributes , , , , , and . We have the following: and , , and , , and , , and , , and , , and , .
Fourth, we obtain , .
Attribute reduction to keep the lattice structure is an important issue in FCA. On the basis of equivalent relation, the paper presents a new expression for a formal context, which is named property pictorial diagram. According to the property pictorial diagram of original formal context, we propose a method to obtain attribute reducts of four different lattices using the interconnection between arrow relation , meet-irreducible elements, and absolutely unnecessary attributes. Based on the method in this paper, we can study other types of attribute reduction.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
The authors gratefully acknowledge the support of the Natural Science Foundation of China (no. 11371014, no. 11071281, and no. 61202206).
- B. Ganter and R. Wille, Formal Concept Analysis: Mathematical Foundations, Springer, Berlin , Germany, 1999.
- R. Wille, “Restructuring lattice theory: an approach based on hierarchies of concepts,” in Ordered Sets, I. Rival, Ed., pp. 445–470, Reidel, Dordrecht, The Netherlands, 1982.
- Z. Pawlak, “Rough sets,” International Journal of Computer and Information Sciences, vol. 11, no. 5, pp. 341–356, 1982.
- Z. Pawlak, Rough Sets: Theoretical Aspects of Reasoning about Data, Kluwer Academic Publishers, Dordrecht, The Netherlands, 1991.
- I. Düntsch and G. Gediga, “Modal-style operators in qualitative data analysis,” in Proceedings of the 2nd IEEE International Conference on Data Mining (ICDM '02), pp. 155–162, Washington, DC, USA, December 2002.
- Y. Y. Yao, “A comparative study of formal concept analysis and rough set theory in data analysis,” in Proceedings of 4th International Conference on Rough Sets and Current Trends in Computing (RSCTC '04), pp. 59–68, Uppsala , Sweden, 2004.
- C. Shi, Z. Niu, and T. Wang, “Considering the relationship between RST and FCA,” in Proceedings of the 3rd International Conference on Knowledge Discovery and Data Mining (WKDD '10), pp. 224–227, January 2010.
- H. Wang and W. X. Zhang, “Relationships between concept lattice and rough set,” in Artificial Intelligence and Soft Computing—ICAISC 2006, vol. 4029 of Lecture Notes in Computer Science, pp. 538–547, Springer, Berlin, Germany, 2006.
- L. Wei and J. J. Qi, “Relation between concept lattice reduction and rough set reduction,” Knowledge-Based Systems, vol. 23, no. 8, pp. 934–938, 2010.
- M. Liu, M. Shao, W. Zhang, and C. Wu, “Reduction method for concept lattices based on rough set theory and its application,” Computers & Mathematics with Applications, vol. 53, no. 9, pp. 1390–1410, 2007.
- X. Wang, “Approaches to attribute reduction in concept lattices based on rough set theory,” International Journal of Hybrid Information Technology, vol. 5, no. 2, pp. 67–80, 2012.
- J. Poelmans, D. I. Ignatov, S. O. Kuznetsov, and G. Dedene, “Fuzzy and rough formal concept analysis: a survey,” International Journal of General Systems, vol. 43, no. 2, pp. 105–134, 2014.
- A. Skowron and C. Rauszer, “The discernibility matrices and functions in information systems,” in Handbook of Applications and Advances of the Rough Sets Theory, R. lowinski, Ed., Kluwer, Dordrecht, the Netherlands, 1992.
- D. Q. Miao, Y. Zhao, Y. Y. Yao, H. X. Li, and F. F. Xu, “Relative reducts in consistent and inconsistent decision tables of the Pawlak rough set model,” Information Sciences, vol. 179, no. 24, pp. 4140–4150, 2009.
- D. Ye and Z. Chen, “An improved discernibility matrix for computing all reducts of an inconsistent decision table,” in Proceedings of the 5th IEEE International Conference on Cognitive Informatics (ICCI '06), pp. 305–308, July 2006.
- Y. Yao and Y. Zhao, “Discernibility matrix simplification for constructing attribute reducts,” Information Sciences, vol. 179, no. 7, pp. 867–882, 2009.
- W. X. Zhang, L. Wei, and J. J. Qi, “Attribute reduction theory and approach to concept lattice,” Science in China F: Information Sciences, vol. 48, no. 6, pp. 713–726, 2005.
- L. Wei, J. Qi, and W. Zhang, “Attribute reduction theory of concept lattice based on decision formal contexts,” Science in China F: Information Sciences, vol. 51, no. 7, pp. 910–923, 2008.
- M. Q. Liu and L. Wei, “The reduction theory of object oriented concept lattices and property oriented concept lattices,” in Proceedings of the 4th International Conference on Rough Sets and Knowledge Tschnology (RSKT '09), vol. 5589 of Lecture Notes in Computer Science, pp. 587–593, 2009.
- X. Wang and J. M. Ma, “A novel approach to attribute reduction in concept lattices,” in Proceedings of RSKT, vol. 4062 of Lecture Notes in Artificial Intelligence, pp. 522–529, Springer, Berlin, Germany, 2006.
- X. Wang and W. Zhang, “Relations of attribute reduction between object and property oriented concept lattices,” Knowledge-Based Systems, vol. 21, no. 5, pp. 398–403, 2008.
- J. Medina, “Relating attribute reduction in formal, object-oriented and property-oriented concept lattices,” Computers and Mathematics with Applications, vol. 64, no. 6, pp. 1992–2002, 2012.
- W. Z. Wu, Y. Leung, and J. S. Mi, “Granular computing and knowledge reduction in formal contexts,” IEEE Transactions on Knowledge and Data Engineering, vol. 21, no. 10, pp. 1461–1474, 2009.
- J. Li, C. Mei, and Y. Lv, “A heuristic knowledge-reduction method for decision formal contexts,” Computers and Mathematics with Applications, vol. 61, no. 4, pp. 1096–1106, 2011.
- M. W. Shao, Y. Leung, and W. Z. Wu, “Rule acquisition and complexity reduction in formal decision contexts,” International Journal of Approximate Reasoning, vol. 55, no. 1, part 2, pp. 259–274, 2014.
- C. Aswani Kumar and S. Srinivas, “Concept lattice reduction using fuzzy k-Means clustering,” Expert Systems with Applications, vol. 37, no. 3, pp. 2696–2704, 2010.
- Y. Y. Yao, “Concept lattices in rough set theory,” in Proceedings of the IEEE Annual Meeting of the North American Fuzzy Information Processing Society (NAFIPS '04), pp. 796–801, Washington, DC, USA, June 2004.
- B. A. Davey and H. A. Priestley, Introduction to Lattices and Order, Cambridge University Press, Cambridge, UK, 2002.
Copyright © 2014 Qing Wan and Ling Wei. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.