“…(i) As there exist two cases that fulfill the conditions of eorem 1, i.e., there exist (3, (abd, ce)) ≻ (∅, (abcde, abcde)) and (13, (b, ∅)) ≻ (1, (bce, ad)), we generate two new concepts (13, (be, ∅)) and (3, (abde, c)), respectively, and delete the old concepts (3, (abd, ce)) and (13, (b, ∅)) (ii) As there exist three cases that fulfill the conditions of eorem 3, i.e., there exist (234, (∅, e)), (23, (d, ce)) and (34, (a, e)), we finally generate two new concepts (23, (d, c)) and (34, (a, ∅) respectively, and delete the old concepts (234, (∅, e)), (23 , (d, ce)), and (34, (a, c)) (iii) Update partial orders between concepts where necessary, and the updated object-induced threeway concept lattice OEL(K ′ ) is shown in Figure 2 Continued with the above discussions, if we restore I(3, e) to its original value 0, the updating process is shown as follows:…”