Geodesic
Object Oriented Description Logic
The Bulletin of Irkutsk State University. Series Mathematics, Tome 4 (2011) no. 1, pp. 57-72

Voir la notice de l'article provenant de la source Math-Net.Ru

In this paper logical formalisms connected to object-oriented modeling are considered. In particular, the experience of the application of description logics intended for logical object model development (so-called OO-projections) is analyzed, and the issues of the further development of the approach are presented and discussed. The notion of an object theory is introduced as an extension of OO-projections. 
@article{IIGUM_2011_4_1_a5,
     author = {A. A. Malykh and A. V. Mantsivoda},
     title = {Object {Oriented} {Description} {Logic}},
     journal = {The Bulletin of Irkutsk State University. Series Mathematics},
     pages = {57--72},
     publisher = {mathdoc},
     volume = {4},
     number = {1},
     year = {2011},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/IIGUM_2011_4_1_a5/}
}
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
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IIGUM_2011_4_1_a5/
LA  - ru
ID  - IIGUM_2011_4_1_a5
ER  - 
%0 Journal Article
%A A. A. Malykh
%A A. V. Mantsivoda
%T Object Oriented Description Logic
%J The Bulletin of Irkutsk State University. Series Mathematics
%D 2011
%P 57-72
%V 4
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IIGUM_2011_4_1_a5/
%G ru
%F IIGUM_2011_4_1_a5
A. A. Malykh; A. V. Mantsivoda. Object Oriented Description Logic. The Bulletin of Irkutsk State University. Series Mathematics, Tome 4 (2011) no. 1, pp. 57-72. http://geodesic.mathdoc.fr/item/IIGUM_2011_4_1_a5/