An Algorithm Based on Concept-Matrix for Building Concept Lattice with Hasse