Formal concept analysis based attribute exploration