Attribute Reduction of Formal Context Based on Concept Lattice | IEEE Conference Publication | IEEE Xplore