Abstract
For a formal context, we define an equivalence relation on the set of attributes. Through this equivalence relation, we define the lower and upper approximation operators relative to the family of semiconcepts of the formal context. We study on the two operators with the further properties that are interesting and valuable in the theory of rough set. In addition, we research on the lattice properties of all of semiconcepts in a formal context. Using this lattice, we set up two operators, and find their approximation properties in the theory of rough set. The two ways for giving approximations generalize the idea of Pawlak rough set approximations from one universal set to two non-related universal sets. We provide examples to exam the correct of the two approximation ways in this paper.
Get full access to this article
View all access options for this article.
