TY - JOUR AU - A. A. Malykh AU - A. V. Mantsivoda TI - Object Oriented Description Logic JO - The Bulletin of Irkutsk State University. Series Mathematics PY - 2011 SP - 57 EP - 72 VL - 4 IS - 1 UR - http://geodesic.mathdoc.fr/item/IIGUM_2011_4_1_a5/ LA - ru ID - IIGUM_2011_4_1_a5 ER -