In this position paper we start with a motivation of our study of modal/description logics with values in concept lattices. Then we give a brief survey of approaches to lattice-valued modal and/or description logics. After that we study some methods of context symmetrization, because the description logic on concept lattices is defined for symmetric co ntexts only. We conclude with a list of problems related to comparison of dierent lattice-valued modal/description logics, dierent variants of context symmetrization and resulting description logics, decidability and axiomatization of these logics.
['J. V. Grebeneva', 'Nikolay Shilov', 'Natalya Olegovna Garanina', 'A. P. Ershov']
Towards Description Logic on Concept Lattices