Towards Description Logic on Concept Lattices. - Julia V. Grebeneva; Nikolay V. Shilov 002; Natalia Olegovna Garanina (CLA, 2013)