A graph approach for knowledge reduction in formal contexts