Geodesic
Object Theories over List Superstructures
The Bulletin of Irkutsk State University. Series Mathematics, Tome 5 (2012) no. 4, pp. 27-44 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

In this paper the potential of semantic programming methods based on the theory of hereditarily finite list superstructures (GES) for the logical simulation of the object-oriented approach is considered and estimated. Based on GES, we develop a formal system, which is analogous to the description logic $\mathcal{OODL}$, but in contrast with $\mathcal{OODL}$, it allows the natural simulation of ordered data structures (e.g. lists and arrays). The formal system, which is introduced and investigated in this paper, can help for the development of the logical semantics of programming languages, in particular, the object-oriented programming language Libretto.
Keywords: description logic, object theory, object-oriented programming, semantic programming
Mots-clés : datatype, Libretto. 
@article{IIGUM_2012_5_4_a3,
     author = {A. A. Malykh and A. V. Mantsivoda},
     title = {Object {Theories} over {List} {Superstructures}},
     journal = {The Bulletin of Irkutsk State University. Series Mathematics},
     pages = {27--44},
     year = {2012},
     volume = {5},
     number = {4},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/IIGUM_2012_5_4_a3/}
}
TY  - JOUR
AU  - A. A. Malykh
AU  - A. V. Mantsivoda
TI  - Object Theories over List Superstructures
JO  - The Bulletin of Irkutsk State University. Series Mathematics
PY  - 2012
SP  - 27
EP  - 44
VL  - 5
IS  - 4
UR  - http://geodesic.mathdoc.fr/item/IIGUM_2012_5_4_a3/
LA  - ru
ID  - IIGUM_2012_5_4_a3
ER  - 
%0 Journal Article
%A A. A. Malykh
%A A. V. Mantsivoda
%T Object Theories over List Superstructures
%J The Bulletin of Irkutsk State University. Series Mathematics
%D 2012
%P 27-44
%V 5
%N 4
%U http://geodesic.mathdoc.fr/item/IIGUM_2012_5_4_a3/
%G ru
%F IIGUM_2012_5_4_a3
A. A. Malykh; A. V. Mantsivoda. Object Theories over List Superstructures. The Bulletin of Irkutsk State University. Series Mathematics, Tome 5 (2012) no. 4, pp. 27-44. http://geodesic.mathdoc.fr/item/IIGUM_2012_5_4_a3/

[1] A. A. Malykh, A. V. Mantsivoda, “Ob'ektno-orientirovannaya deskriptivnaya logika”, Izv. Irkut. gos. un-ta. Ser. Matematika, 2011, no. 1, 57–72 | Zbl

[2] S. S. Goncharov, D. I. Sviridenko, “$\Sigma$-programmirovanie”, Logiko-matematicheskie problemy MOZ, Vychislitelnye sistemy, 107, Novosibirsk, 1985, 3–29 | MR | Zbl

[3] 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

[4] Object-oriented Programming Language Libretto http://librettolang.org

[5] Dzh. Barvais, Spravochnaya kniga po matematicheskoi logike, v. 1, Nauka, M., 1982, 392 pp.

[6] A. I. Kokorin, V. M. Kopytov, Lineino uporyadochennye gruppy, Nauka, M., 1972, 200 pp. | MR | Zbl

[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] 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. Fensel D., Sycara K., Mylopoulos J., Springer, 17–29 | DOI

[9] S. S. Goncharov, “Zamechanie ob aksiomakh spisochnoi nadstroiki GES”, Logicheskie voprosy teorii tipov dannykh, Vychislitelnye sistemy, 114, Novosibirsk, 1986, 11–15 | MR | Zbl

[10] S. S. Goncharov, “Teoriya spiskov i ee modeli”, Logicheskie voprosy teorii tipov dannykh, Vychislitelnye sistemy, 114, Novosibirsk, 1986, 84–95 | MR

[11] A. A. Gavryushkina, “Teoriya spiskov i $\Sigma$-opredelimost”, Izv. Irkut. gos. un-ta. Ser. Matematika, 2011, no. 4, 27–38 | Zbl

[12] 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

[13] M. Schmidt-Schauss, G. Smolka, “Attributive concept descriptions with complements”, Artificial Intelligence, 48 (1991), 1–26 | DOI | MR | Zbl

[14] 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

[15] The Semantic Web http://www.w3.org/2001/sw

[16] The NCBI Entrez Taxonomy http://www.ncbi.nlm.nih.gov/sites/entrez?db=taxonomy

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

[18] T. Berners-Lee, J. Hendler, O. Lassila, “The Semantic Web”, Scientific American, 5 (2001), 34–43 | DOI