Geodesic
Object Oriented Description Logic
The Bulletin of Irkutsk State University. Series Mathematics, Tome 4 (2011) no. 1, pp. 57-72 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

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},
     year = {2011},
     volume = {4},
     number = {1},
     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
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
%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/

[1] S. S. Goncharov, D. I. Sviridenko, “$\Sigma$-programmirovanie”, Vychisl. sistemy, 107, Novosibirsk, 1985, 3–29 | MR | Zbl

[2] A. A. Malykh, A. V. Mantsivoda, V. S. Ulyanov, “Logicheskie arkhitektury i ob'ektno-orientirovannyi podkhod”, Vestn. NGU. Ser.: Matematika, mekhanika, informatika, 9:3 (2009), 64–85 | Zbl

[3] Ob'ektno-iteratsionnyi yazyk Libretto http://ontobox.org

[4] Yu. L. Ershov, S. S. Goncharov, D. I. Sviridenko, “Semantic Programming”, Information processing, Proc. IFIP 10th World Comput. Congress (Dublin, 1986), v. 10, 1093–1100 | MR

[5] I. Horrocks, P. F. Patel-Schneider, “Reducing OWL entailment to description logic satisfiability”, Proc. of the 2003 International Semantic Web Conference, ISWC 2003, Lecture Notes in Computer Science, 2870, eds. D. Fensel, K. Sycara, J. Mylopoulos, Springer, 2003, 17–29 | DOI

[6] Barbara Liskov, Jeannette Wing, “A behavioral notion of subtyping”, ACM Transactions on Programming Languages and Systems (TOPLAS), 16:6 (1994), 1811–1841 | DOI

[7] A. Malykh, A. Mantsivoda, “A Query Language for Logic Architectures”, Perspectives of System Informatics, Proceedings of 7th International Conference, Lecture Notes in Computer Science, 5947, Springer-Verlag, Berlin–Heidelberg, 2010, 294–305 | DOI | Zbl

[8] F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi, P. F. Patel-Schneider, The Description Logic Handbook: Theory, Implementation, Applications, Cambridge, 2003, 574 pp. | MR

[9] Web Ontology Language (OWL) http://www.w3.org/2004/OWL